Jean-Jacques Schwarz

Publication Activity (10 Years)

Years Active: 1991-2004
Publications (10 Years): 0

Publications

Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. DS-RT (2004)
Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz
Temporal validation of Real Time multitasking applications based on communicating timed automata. FDL (2004)
Jacques J. Skubich, Jean-Jacques Schwarz
Graphical Design of Real Time Applications. NATO ASI RTC (1992)
Jean-Jacques Schwarz, Jacques J. Skubich, Régis Aubry
Lacatre: The basis for a Real Time Software Engineering Workshop. PEARL (1991)