Author of the publication

Partitioning of perfect synchroneous reactive specifications to distributed processors using ^Aµ-charts

. Software and Systems Modeling, V5 (1): 13--25 (April 2006)
DOI: 10.1007/s10270-005-0094-1

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

From MSCs to statecharts, , , and . DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, page 61--71. Norwell, MA, USA, Kluwer Academic Publishers, (1999)Elementarunterricht und intellektuelle Bildung im hellenistischen Gymnasion. Das hellenistische Gymnasion, Akademie Verlag, Berlin, 2 edition, (2007)From MSCS to Statecharts, , , and . Distributed and Parallel Embedded Systems, volume 25 of IFIP — The International Federation for Information Processing, Springer US, (1999)Eine Informationsbasis für zeitoptimiertes Incident Management., and . IMF, volume P-39 of LNI, page 43-56. GI, (2003)Formal verification of statecharts with instantaneous chain reactions, and . (1997)Compositional specification of embedded systems with Statecharts, and . (1997)Analysis and Numerical Modeling of Inductively Coupled Antenna Systems. (2010)Partitioning of perfect synchroneous reactive specifications to distributed processors using ^Aµ-charts. Software and Systems Modeling, V5 (1): 13--25 (April 2006)From MSCs to statecharts, , , and . DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, page 61--71. Norwell, MA, USA, Kluwer Academic Publishers, (1999)A Refinement Calculus for Statecharts.. FASE, volume 1382 of Lecture Notes in Computer Science, page 285-301. Springer, (1998)