Back to Results
First PageMeta Content
Model checking / Net / Fiona / Mathematics / Concurrency / Diagrams / Petri net


Fiona A Tool to Analyze Interacting Open Nets Peter Massuthe and Daniela Weinberg Humboldt–Universität zu Berlin, Institut für Informatik Unter den Linden 6, 10099 Berlin, Germany {massuthe,weinberg}@informatik.hu-be
Add to Reading List

Document Date: 2008-08-21 06:31:13

Open Document

File Size: 542,38 KB

Share Result on Facebook

City

Brisbane / Berlin / Melbourne / /

Company

Pearson / IEEE Computer Society Press / /

Country

Germany / Australia / /

/

Facility

University of Rostock / Prentice Hall / /

IndustryTerm

service-oriented computing / service broker / free software / data structures and algorithms / service modeling tools / coordinated depth-first search / http /

OperatingSystem

Unix / Linux / Cygwin / Solaris / GNU / /

Organization

Automata-Theoretic Foundation / Humboldt-Universität / University of Rostock / Institut für Informatik Unter / Universität Rostock / /

Person

Wolfgang Reisig / Karsten Wolf / Fiona A Tool / Daniela Weinberg Humboldt / Interacting Open Nets Peter Massuthe / /

Position

service broker / GNU General Public License / representative / /

ProgrammingLanguage

C++ / /

RadioStation

FM 2008 / FM 2007 / /

Technology

SOA / Unix / Linux / operating systems / matching algorithm / http / simulation / /

URL

http /

SocialTag