Jump to main content

yr 〜
yr

Search results 5

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009 : Budapest, Hungary, September 14-16, 2009 : proceedings. : 7th international conference on formal modelling and analysis of timed systems : Sep 2009, Budapest, Hungary. (Lecture Notes in Computer Science ; 5813)

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009 : Budapest, Hungary, September 14-16, 2009 : proceedings. : 7th international conference on formal modelling and analysis of timed systems : Sep 2009, Budapest, Hungary. (Lecture Notes in Computer Science ; 5813)
Paper図書
Springerc2009.<M17-10-1648>
National Diet Library
  • Author HeadingOuaknine, Joël. Vaandrager, Frits. FORMATS 2009 (2009 : Budapes...

The theory of timed I/O automata 2nd ed

The theory of timed I/O automata 2nd ed
Paper図書
Dilsun K. Kaynar... [et al.]Morgan & Claypoolc2011
Other Libraries in Japan
  • Author HeadingKaynar, Dilsun K. Lynch, Nancy A. (Nancy Ann) Segala, Roberto Vaandrager, Frits

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings

Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings
Paper図書
Joël Ouaknine, Frits W. Vaandrager (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingFORMATS Ouaknine, Joël Vaandrager, Frits

Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings

Hybrid systems : computation and control : Second International Workshop, HSCC '99, Berg en Dal, The Netherlands, March 29-31, 1999 : proceedings
Paper図書
Frits W. Vaandrager, Jan H. van Schuppen (eds.)Springerc1999
Other Libraries in Japan
  • Author HeadingHSCC Vaandrager, Frits Schuppen, J. H. van

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
Paper図書
Grzegorz Rozenberg, Frits Vaandrager (eds.)Springerc1998
Other Libraries in Japan
  • Author HeadingEuropean Educational Forum School on Embedded Systems Rozenberg, Grzegorz Vaandrager, Frits

Reached to the end of result.

RSS