Autor der Publikation

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

. Softw. Syst. Model., 5 (1): 13-25 (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

From MSCS to Statecharts, , , und . Distributed and Parallel Embedded Systems, Volume 25 von IFIP — The International Federation for Information Processing, Springer US, (1999)Elementarunterricht und intellektuelle Bildung im hellenistischen Gymnasion. Das hellenistische Gymnasion, Akademie Verlag, Berlin, 2 Edition, (2007)Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts.. Softw. Syst. Model., 5 (1): 13-25 (2006)Softwareentwicklung eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung. Xpert.press Springer, Berlin, (2005)From MSCs to statecharts, , , und . DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, Seite 61--71. Norwell, MA, USA, Kluwer Academic Publishers, (1999)Analysis and Numerical Modeling of Inductively Coupled Antenna Systems. (2010)Formal verification of statecharts with instantaneous chain reactions, und . (1997)Compositional specification of embedded systems with Statecharts, und . (1997)Eine Informationsbasis für zeitoptimiertes Incident Management., und . IMF, Volume P-39 von LNI, Seite 43-56. GI, (2003)Formal Verification and Hardware Design with Statecharts., und . Prospects for Hardware Foundations, Volume 1546 von Lecture Notes in Computer Science, Seite 356-389. Springer, (1998)