- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| j4 |      | Christian Reinhold, Peter Scholz, Werner John, Ulrich Hilleringmann: Efficient Antenna Design of Inductive Coupled RFID-Systems with High Power Demand. JCM 2(6): 14-23 (2007) |
| 2006 | ||
| j3 | | Peter Scholz: Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. Software and System Modeling 5(1): 13-25 (2006) |
| c13 | | Judith Hartmann, Sabine Rittmann, Doris Wild, Peter Scholz: Formal incremental requirements specification of service-oriented automotive software systems. SOSE 2006: 130-133 |
| 2003 | ||
| c12 | | Peter Scholz, Ramon Mörl: Eine Informationsbasis für zeitoptimiertes Incident Management. IMF 2003: 0- |
| 2001 | ||
| j2 | | Peter Scholz: Incremental design of statechart specifications. Sci. Comput. Program. 40(1): 119-145 (2001) |
| 1999 | ||
| j1 | | Bernhard Deifel, Ursula Hinkel, Barbara Paech, Peter Scholz, Veronika Thurner: Die Praxis der Softwareentwicklung: Eine Erhebung. Informatik Spektrum 22(1): 24-36 (1999) |
| c11 | | Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy: Focusing on Mobility. HICSS 1999 |
| 1998 | ||
| c10 | | |
| c9 |  | Peter Scholz: From synchronous Specifications to Asynchronous Distributed Implementations. DIPES 1998: 39-50 |
| c8 | | |
| c7 | | Jan Philipps, Peter Scholz: Formal Verification and Hardware Design with Statecharts. Prospects for Hardware Foundations 1998: 356-389 |
| 1997 | ||
| c6 | | |
| c5 | | Peter Scholz, Dieter Nazareth: Communication Concepts for Statecharts: A Semantic Foundation. ARTS 1997: 126-140 |
| c4 | | Olaf Müller, Peter Scholz: Functional Specification of Real-Time and Hybrid Systems. HART 1997: 273-285 |
| c3 | | Jan Philipps, Peter Scholz: Formal Verification of Statecharts with Instantaneous Chain Reaction. TACAS 1997: 224-238 |
| c2 | | Jan Phillips, Peter Scholz: Compositional Specification of Embedded Systems with Statecharts. TAPSOFT 1997: 637-651 |
| 1996 | ||
| c1 | | Peter Scholz: A Light-Weight Formalism for the Specification of Reactive Systems. SOFSEM 1996: 425-432 |
Colors in the list of coauthors
Last update Sun May 19 03:25:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page