Jean-Jacques Schwarz
According to our database1,
Jean-Jacques Schwarz
authored at least 4 papers
between 1991 and 2004.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
Temporal validation of Real Time multitasking applications based on communicating timed automata.
Proceedings of the Forum on specification and Design Languages, 2004
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.
Proceedings of the 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 2004
1992
Proceedings of the Real Time Computing, 1992
1991
Proceedings of the PEARL 91, 1991