Jump to main content

yr 〜
yr

Search results 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)
Paper図書
IOS Press[2014]<M17-15-1430>
National Diet Library
  • Author Heading...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)
Paper図書
IOS Pressc2012.<M17-13-420>
National Diet Library
  • Author Heading... 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)
Paper図書
IOS Pressc2010.<M17-11-3494>
National Diet Library
  • Author Heading...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)
Paper図書
IOS Pressc2008.<M17-09-577>
National Diet Library
  • Author HeadingGrumberg, 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)
Paper図書
Springerc2007.<M17-07-1267>
National Diet Library
  • Author Heading...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
Paper図書
edited by Tobias Nipkow, Orna Grumberg and Benedikt HauptmannIOS Pressc2012
Other Libraries in Japan
  • Author Heading...Nipkow, Tobias Grumberg, Orna Hauptmann, Benedikt

25 years of model checking : history, achievements, perspectives

25 years of model checking : history, achievements, perspectives
Paper図書
Orna Grumberg, Helmut Veith (eds.)Springerc2008
Other Libraries in Japan
  • Author HeadingGrumberg, 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
Paper図書
Orna Grumberg, Michael Huth (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingTACAS European Conferences on Theory and Practice of Software Grumberg, Orna Huth, Michael

Model checking

Model checking
Paper図書
Edmund M. Clarke, Jr., Orna Grumberg, Doron A. PeledMIT Pressc1999
Other Libraries in Japan
  • Author HeadingClarke, 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
Paper図書
Orna Grumberg (ed.)Springer-Verlagc1997
Other Libraries in Japan
  • Author HeadingCAV (Conference) Grumberg, Orna

Reached to the end of result.

RSS