Jump to main content

yr 〜
yr

Search results 9

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004 : Grenoble, France, September 22-24, 2004 : proceedings. : Sep 2004, Grenoble, France. (Lecture Notes in Computer Science ; 3253)

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004 : Grenoble, France, September 22-24, 2004 : proceedings. : Sep 2004, Grenoble, France. (Lecture Notes in Computer Science ; 3253)
Paper図書
Springerc2004.<M17-05-117>
National Diet Library
  • Author HeadingVERIMAG. Lakhnech, Y. (Yassine) Yovine...

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2280)

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2280)
Paper図書
Springer2002.<M17-03-4173>
National Diet Library
  • Author HeadingLaboratoire Verimag. Katoen, Joost-Pieter. Stevens...

Hybrid systems: computation and control : 6th international workshop, HSCC 2003 : Prague, Czech Republic, April 3-5, 2003 : proceedings. : Apr 2003, Prague, Czech Republic. (Lecture Notes in Computer Science ; 2623)

Hybrid systems: computation and control : 6th international workshop, HSCC 2003 : Prague, Czech Republic, April 3-5, 2003 : proceedings. : Apr 2003, Prague, Czech Republic. (Lecture Notes in Computer Science ; 2623)
Paper図書
Springerc2003.<M17-04-456>
National Diet Library
  • Author HeadingLaboratoire Verimag. Maler, O. (Oded) Pnueli, A. H...

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings. : Oct 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2491)

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings. : Oct 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2491)
Paper図書
Springer2002.<M17-03-188>
National Diet Library

Model checking software : 9th international SPIN workshop : Grenoble, France, April 11-13, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2318)

Model checking software : 9th international SPIN workshop : Grenoble, France, April 11-13, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2318)
Paper図書
Springer2002.<M17-03-4210>
National Diet Library
  • Author HeadingLaboratoire Verimag. Bošnački, Dragan, 1963- Leue,...

Compiler construction : 11th international conference, CC 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2304)

Compiler construction : 11th international conference, CC 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2304)
Paper図書
Springer2002.<M17-03-4225>
National Diet Library
  • Author HeadingLaboratoire Verimag. Horspool, R. Nigel, 1948- CC ...

Programming languages and systems : 11th European symposium on programming, ESOP 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2305)

Programming languages and systems : 11th European symposium on programming, ESOP 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2305)
Paper図書
Springer2002.<M17-03-4202>
National Diet Library
  • Author HeadingLaboratoire Verimag. Le Métayer, D. (Daniel) Europ...

Fundamental approaches to software engineering : 5th international conference, FASE 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2306)

Fundamental approaches to software engineering : 5th international conference, FASE 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2306)
Paper図書
Springer2002.<M17-03-4231>
National Diet Library
  • Author HeadingLaboratoire Verimag. Kutsche, Ralf-Detlef, 1955- W...

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2303)

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002 : held as part of the joint European conferences on theory and practice of software, ETAPS 2002 : Grenoble, France, April 8-12, 2002 : proceedings. : Apr 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2303)
Paper図書
Springer2002.<M17-03-4196>
National Diet Library
  • Author HeadingLaboratoire Verimag. Nielsen, M. (Mogens) , 1949- ...

Reached to the end of result.

RSS