( en | de | ru )

 

Disambiguation of "Scholz, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Eine Informationsbasis für zeitoptimiertes Incident Management.

, and . IMF, volume P-39 of LNI, page 43-56. GI, (2003)

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.

Peter Scholz

Peter Scholz

Peter Scholz

Peter Scholz

Peter Scholz

 

Other publications of authors with the same name

From MSCS to Statecharts, , , and . Distributed and Parallel Embedded Systems, volume 25 of 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)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)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)Analysis and Numerical Modeling of Inductively Coupled Antenna Systems. (2010)Formal verification of statecharts with instantaneous chain reactions, and . (1997)Compositional specification of embedded systems with Statecharts, and . (1997)Eine Informationsbasis für zeitoptimiertes Incident Management., and . IMF, volume P-39 of LNI, page 43-56. GI, (2003)Formal Verification and Hardware Design with Statecharts., and . Prospects for Hardware Foundations, volume 1546 of Lecture Notes in Computer Science, page 356-389. Springer, (1998)