Jump to main content

yr 〜
yr

Search results 5

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4916)

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007 : Berlin, Germany, July 1-2, 2007 : revised selected papers. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4916)
Paper図書
Springerc2008.<M17-08-1780>
National Diet Library
  • Author HeadingLeue, Stefan. Merino, Pedro. International...

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 Heading... Dragan, 1963- Leue, Stefan. International SPIN Workshop ...

Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
Paper図書
Stefan Leue, Tarja Johanna Systä (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingLeue, Stefan Systä, Tarja Johanna

Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

Model Checking Software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Paper図書
Dragan Bošnački, Stefan Leue (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingSPIN Bošnački, Dragan Leue, Stefan

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
Paper図書
edited by Dieter Hogrefe and Stefan LeueChapman & Hall on behalf of the International Federation for Information Processing1995
Other Libraries in Japan
  • Author HeadingFORTE Hogrefe, Dieter Leue, Stefan IFIP Working Group 6.1

Reached to the end of result.

RSS