Jump to main content

yr 〜
yr

Search results 32

Handbook of model checking

Handbook of model checking
Paper図書
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors.Springer[2018]<M159-B167>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingComputer systems--Verification--Handbooks, manuals, etc. Computer systems--Verification.

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.
Paper図書
IEEE[2016]<M17-17-2497>
National Diet Library
  • Subject Heading...n--Congresses. Computer systems--Verification. Hybrid systems.

Cyber physical systems : design, modeling, and evaluation : 5th international workshop, CyPhy 2015 : Amsterdam, the Netherlands, October 8, 2015 : proceedings : ESWeek 2015 : Oct 2015, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 9361)

Cyber physical systems : design, modeling, and evaluation : 5th international workshop, CyPhy 2015 : Amsterdam, the Netherlands, October 8, 2015 : proceedings : ESWeek 2015 : Oct 2015, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 9361)
Paper図書
Springer[2015]<M17-16-780>
National Diet Library
  • Subject Heading...matic control. Computer systems--Verification. Cybernetics. Sensor networks.

Reachability problems : 8th international workshop, RP 2014 : Oxford, UK, September 22-24, 2014 : proceedings : Sep 2014, Oxford, UK. (Lecture Notes in Computer Science ; 8762)

Reachability problems : 8th international workshop, RP 2014 : Oxford, UK, September 22-24, 2014 : proceedings : Sep 2014, Oxford, UK. (Lecture Notes in Computer Science ; 8762)
Paper図書
Springer[2014]<M17-15-1645>
National Diet Library
  • Subject Heading...--Mathematics. Computer systems--Verification. Decidability (Mathematical lo...

Reachability problems : 9th international workshop, RP 2015 : Warsaw, Poland, September 21-23, 2015 : proceedings : Sep 2015, Warsaw, Poland. (Lecture Notes in Computer Science ; 9328)

Reachability problems : 9th international workshop, RP 2015 : Warsaw, Poland, September 21-23, 2015 : proceedings : Sep 2015, Warsaw, Poland. (Lecture Notes in Computer Science ; 9328)
Paper図書
Springer[2015]<M17-16-755>
National Diet Library

Reachability problems : 7th international workshop, RP 2013 : Uppsala, Sweden, September 24-26, 2013 : proceedings : Sep 2013, Uppsala, Sweden. (Lecture Notes in Computer Science ; 8169)

Reachability problems : 7th international workshop, RP 2013 : Uppsala, Sweden, September 24-26, 2013 : proceedings : Sep 2013, Uppsala, Sweden. (Lecture Notes in Computer Science ; 8169)
Paper図書
Springerc2013.<M17-14-716>
National Diet Library

Reachability problems : 6th international workshop, RP 2012 : Bordeaux, France, September 17-19, 2012 : proceedings : Sep 2012, Bordeaux, France. (Lecture Notes in Computer Science ; 7550)

Reachability problems : 6th international workshop, RP 2012 : Bordeaux, France, September 17-19, 2012 : proceedings : Sep 2012, Bordeaux, France. (Lecture Notes in Computer Science ; 7550)
Paper図書
Springerc2012.<M17-13-811>
National Diet Library

Handbook of formal analysis and verification in cryptography : pbk.

Handbook of formal analysis and verification in cryptography : pbk.
Paper図書
edited by Sedat Akleylek, Besik DunduaCRC Press2024
Other Libraries in Japan

Handbook of formal analysis and verification in cryptography : hbk

Handbook of formal analysis and verification in cryptography : hbk
Paper図書
edited by Sedat Akleylek, Besik DunduaCRC Press2024
Other Libraries in Japan

Reachability problems : 3rd international workshop, RP 2009 : Palaiseau, France, September 23-25, 2009 : proceedings. : annual LIX fall colloquium : Sep 2009, Palaiseau, France. (Lecture Notes in Computer Science ; 5797)

Reachability problems : 3rd international workshop, RP 2009 : Palaiseau, France, September 23-25, 2009 : proceedings. : annual LIX fall colloquium : Sep 2009, Palaiseau, France. (Lecture Notes in Computer Science ; 5797)
Paper図書
Springerc2009.<M17-10-1253>
National Diet Library

Model checking quantum systems : principles and algorithms : hardback

Model checking quantum systems : principles and algorithms : hardback
Paper図書
Mingsheng Ying, Yuan FengCambridge University Press2021
Other Libraries in Japan

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)

Model checking and artificial intelligence : 5th international workshop, MoChArt 2008 : Patras, Greece, July 21, 2008 : revised selected and invited papers. : Jul 2008, Patras, Greece. (Lecture Notes in Computer Science ; 5348. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-2067>
National Diet Library

Model checking and artificial intelligence : 4th workshop, MoChArt 4 : Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers. : Aug 2006, Riva del Garda, Italy. (Lecture Notes in Computer Science ; 4428. Lecture Notes in Artificial Intelligence)

Model checking and artificial intelligence : 4th workshop, MoChArt 4 : Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers. : Aug 2006, Riva del Garda, Italy. (Lecture Notes in Computer Science ; 4428. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-08-709>
National Diet Library

Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding (NISTIR ; 6777)

Model checkers in software testing [microform] / Paul E. Black, Paul Ammann, Wei Ding (NISTIR ; 6777)
Microform図書
2002<YCA-C 13.58:6777>
National Diet Library

Model checking 2nd ed

Model checking 2nd ed
Paper図書
Edmund M Clarke, Jr. ... [et al.]The MIT Pressc2018
Other Libraries in Japan

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)

Engineering dependable software systems : NATO Advanced Study Institute summer school Marktoberdorf 2012 : Jul 2012, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 34)
Paper図書
IOS Press[2013]<M17-15-1429>
National Diet Library

Principles of model checking / Christel Baier, Joost-Pieter Katoen.

Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Paper図書
The MIT Press[2008?]<M159-B76>
National Diet Library

Reachability problems : 5th international workshop, RP 2011 : Genoa, Italy, September 28-30, 2011 : proceedings : Sep 2011, Genoa, Italy. (Lecture Notes in Computer Science ; 6945)

Reachability problems : 5th international workshop, RP 2011 : Genoa, Italy, September 28-30, 2011 : proceedings : Sep 2011, Genoa, Italy. (Lecture Notes in Computer Science ; 6945)
Paper図書
Springerc2011.<M17-12-1236>
National Diet Library

Verification and control of hybrid systems : a symbolic approach : [pbk]

Verification and control of hybrid systems : a symbolic approach : [pbk]
Paper図書
Paulo Tabuada ; foreword by Rajeev AlurSpringerc2010
Other Libraries in Japan

Reconfigurable system design and verification : hardcover

Reconfigurable system design and verification : hardcover
Paper図書
Pao-Ann Hsiung, Marco D. Santambrogio, Chun-Hsian HuangCRC Pressc2009
Other Libraries in Japan
RSS