J. Schwarz

发表

L. Morris, J. Schwarz, F. L. Morris, 1980, LISP Conference.

Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata

Jean-Philippe Babau, Mostefa Belarbi, Jean-Jacques Schwarz, 2004, Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications.

Simulation and Verification of Embedded Real-time Multitasking Applications

Mostefa Belarbi, J.-J. Schwarz, M. Belarbi, 2001 .

Some New Results About S-Shaped Curves and Life-Cycle Time-Series

J. Schwarz, 1977 .

Modeling of Real-Time Embedded Systems using SDL

Jean-Philippe Babau, J.-J. Schwarz, Ahmad Alkhodre, 2002 .