年 〜
年

検索結果 10 件

Software systems safety : lectures of the NATO Advanced Study Institute "summer school Marktoberdorf 2013--software systems safety" : ASI "Marktoberdorf" : Jul 2013, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 36)

Software systems safety : lectures of the NATO Advanced Study Institute "summer school Marktoberdorf 2013--software systems safety" : ASI "Marktoberdorf" : Jul 2013, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 36)
紙図書
IOS Press[2014]<M17-15-1430>
国立国会図書館
  • 著者標目...dorf, Germany) Grumberg, Orna. Seidl, Helmut (Computer scie...

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)
紙図書
IOS Pressc2012.<M17-13-420>
国立国会図書館
  • 著者標目... Tobias, 1958- Grumberg, Orna. Hauptmann, Benedikt.

Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)

Logics and languages for reliability and security. : NATO Advanced Study Institute on logics and languages for reliability and security : 2009 summer school on formal logical methods for system security and correctness : 30th international summer school : Marktoberdorf summer school : Aug 2009, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 25)
紙図書
IOS Pressc2010.<M17-11-3494>
国立国会図書館
  • 著者標目...felner, Bernd. Grumberg, Orna. NATO Advanced Study Institut...

Formal logical methods for system security and correctness. : NATO Advanced Study Institute on formal logical methods for system security and correctness : summer school 2007 on formal logical methods for system security and correctness : 28th international summer school at Marktoberdorf : Jul 2007, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 14)

Formal logical methods for system security and correctness. : NATO Advanced Study Institute on formal logical methods for system security and correctness : summer school 2007 on formal logical methods for system security and correctness : 28th international summer school at Marktoberdorf : Jul 2007, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 14)
紙図書
IOS Pressc2008.<M17-09-577>
国立国会図書館
  • 著者標目Grumberg, Orna. Nipkow, Tobias, 1958- Pfalle...

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : 10th European joint conference on theory and practice of software : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4424)

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007 : held as part of the joint European conferences on theory and practice of software, ETAPS 2007 : Braga, Portugal, March 24-April 1, 2007 : proceedings. : 10th European joint conference on theory and practice of software : Mar 2007, Braga, Portugal. (Lecture Notes in Computer Science ; 4424)
紙図書
Springerc2007.<M17-07-1267>
国立国会図書館
  • 著者標目...e Informatica. Grumberg, Orna. Huth, Michael, 1962- TACAS 2...

Software safety and security : tools for analysis and verification print

Software safety and security : tools for analysis and verification print
紙図書
edited by Tobias Nipkow, Orna Grumberg and Benedikt HauptmannIOS Pressc2012
全国の図書館
  • 著者標目...Nipkow, Tobias Grumberg, Orna Hauptmann, Benedikt

25 years of model checking : history, achievements, perspectives

25 years of model checking : history, achievements, perspectives
紙図書
Orna Grumberg, Helmut Veith (eds.)Springerc2008
全国の図書館
  • 著者標目Grumberg, Orna Veith, Helmut

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 : proceedings

Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 : proceedings
紙図書
Orna Grumberg, Michael Huth (eds.)Springerc2007
全国の図書館
  • 著者標目TACAS European Conferences on Theory and Practice of Software Grumberg, Orna Huth, Michael

Model checking

Model checking
紙図書
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. PeledMIT Pressc1999
全国の図書館
  • 著者標目Clarke, Edmund Grumberg, Orna Peled, Doron

Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings

Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings
紙図書
Orna Grumberg (ed.)Springer-Verlagc1997
全国の図書館
  • 著者標目CAV (Conference) Grumberg, Orna

検索結果は以上です。