Jump to main content

yr 〜
yr

Search results 4

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008 : Saint Malo, France, September 15-17, 2008 : proceedings. : 6th international conference on formal modelling and analysis of timed systems : Sep 2008, Saint Malo, France. (Lecture Notes in Computer Science ; 5215)

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008 : Saint Malo, France, September 15-17, 2008 : proceedings. : 6th international conference on formal modelling and analysis of timed systems : Sep 2008, Saint Malo, France. (Lecture Notes in Computer Science ; 5215)
Paper図書
Springerc2008.<M17-08-2242>
National Diet Library
  • Author HeadingCassez, Franck, 1967- Jard, Claude. FORMATS 2008 (2008 : Saint-M...

Communicating embedded systems : software and design : formal methods

Communicating embedded systems : software and design : formal methods
Paper図書
edited by Claude Jard, Olivier H. RouxISTE2010
Other Libraries in Japan
  • Author HeadingJard, Claude Roux, Olivier H.

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings
Paper図書
Franck Cassez, Claude Jard (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingCassez, Franck FORMATS Jard, Claude

Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures

Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures
Paper図書
Franck Cassez ... [et al.] (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingMOVEP Cassez, Franck Jard, Claude Rozoy, Brigitte Ryan, Mark De...

Reached to the end of result.

RSS