( en | de | ru )

 

Disambiguierung von "Scholz, Peter"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal verification of statecharts with instantaneous chain reactions

, und . (1997)
DOI: 10.1007/BFb0035391

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.

Peter Scholz

Peter Scholz

Peter Scholz

Peter Scholz

Peter Scholz

 

Weitere Publikationen von Autoren mit dem selben Namen

Elementarunterricht und intellektuelle Bildung im hellenistischen Gymnasion. Das hellenistische Gymnasion, Akademie Verlag, Berlin, 2 Edition, (2007)From MSCS to Statecharts, , , und . Distributed and Parallel Embedded Systems, Volume 25 von IFIP — The International Federation for Information Processing, Springer US, (1999)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)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)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)A Refinement Calculus for Statecharts.. FASE, Volume 1382 von Lecture Notes in Computer Science, Seite 285-301. Springer, (1998)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)