Jump to main content

yr 〜
yr

Search results 5

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

Automated technology for verification and analysis : 12th international symposium, ATVA 2014 : Sydney, NSW, Australia, November 3-7, 2014 : proceedings : ATVA conference : Nov 2014, Sydney, Australia. (Lecture Notes in Computer Science ; 8837)

Automated technology for verification and analysis : 12th international symposium, ATVA 2014 : Sydney, NSW, Australia, November 3-7, 2014 : proceedings : ATVA conference : Nov 2014, Sydney, Australia. (Lecture Notes in Computer Science ; 8837)
Paper図書
Springer[2014]<M17-15-1270>
National Diet Library
  • Author HeadingATVA 2014 (2014 : Sydney, N.S.W.) Cassez, Franck, 1967- Raskin, Jean-François...

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 ...

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 ...

Modeling and verification of parallel processes : 4th summer school, MOVEP 2000 : Nantes, France, June 19-23, 2000 : revised tutorial lectures. : Jun 2000, Nantes, France. (Lecture Notes in Computer Science ; 2067. Tutorial)

Modeling and verification of parallel processes : 4th summer school, MOVEP 2000 : Nantes, France, June 19-23, 2000 : revised tutorial lectures. : Jun 2000, Nantes, France. (Lecture Notes in Computer Science ; 2067. Tutorial)
Paper図書
Springerc2001.<M17-03-2260>
National Diet Library
  • Author HeadingIRCCyN. Cassez, Franck, 1967- MOVEP 2000 (2000 : Nan...

Reached to the end of result.

RSS