Jean-Jacques Schwarz
Mostefa Belarbi
Jean-Philippe Babau
Jean-Jacques Schwarz
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.
188-195
2004
conf/dsrt/2004
DS-RT
https://doi.org/10.1109/DS-RT.2004.39
https://doi.ieeecomputersociety.org/10.1109/DS-RT.2004.39
db/conf/dsrt/dsrt2004.html#BelarbiBS04
Mostefa Belarbi
Jean-Philippe Babau
Jean-Jacques Schwarz
Temporal validation of Real Time multitasking applications based on communicating timed automata.
578-586
2004
FDL
http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=616
conf/fdl/2004
db/conf/fdl/fdl2004.html#BelarbiBS04
Jacques J. Skubich
Jean-Jacques Schwarz
Graphical Design of Real Time Applications.
401-429
1992
NATO ASI RTC
https://doi.org/10.1007/978-3-642-88049-0_19
conf/nato/1992
db/conf/nato/rtc1992.html#SkubichS92
Jean-Jacques Schwarz
Jacques J. Skubich
Régis Aubry
Lacatre: The basis for a Real Time Software Engineering Workshop.
20-40
1991
conf/pearl/1991
PEARL
db/conf/pearl/pearl1991.html#SchwarzSA91
https://doi.org/10.1007/978-3-642-77151-4_2
Régis Aubry
Jean-Philippe Babau
Mostefa Belarbi
Jacques J. Skubich