本文に飛ぶ

年 〜
年

検索結果 32 件

Handbook of model checking

Handbook of model checking
紙図書
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, editors.Springer[2018]<M159-B167>
国立国会図書館全国の図書館
  • 件名Computer 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.
紙図書
IEEE[2016]<M17-17-2497>
国立国会図書館
  • 件名...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)
紙図書
Springer[2015]<M17-16-780>
国立国会図書館
  • 件名...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)
紙図書
Springer[2014]<M17-15-1645>
国立国会図書館
  • 件名...--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)
紙図書
Springer[2015]<M17-16-755>
国立国会図書館

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)
紙図書
Springerc2013.<M17-14-716>
国立国会図書館

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)
紙図書
Springerc2012.<M17-13-811>
国立国会図書館

Handbook of formal analysis and verification in cryptography : pbk.

Handbook of formal analysis and verification in cryptography : pbk.
紙図書
edited by Sedat Akleylek, Besik DunduaCRC Press2024
全国の図書館

Handbook of formal analysis and verification in cryptography : hbk

Handbook of formal analysis and verification in cryptography : hbk
紙図書
edited by Sedat Akleylek, Besik DunduaCRC Press2024
全国の図書館

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)
紙図書
Springerc2009.<M17-10-1253>
国立国会図書館

Model checking quantum systems : principles and algorithms : hardback

Model checking quantum systems : principles and algorithms : hardback
紙図書
Mingsheng Ying, Yuan FengCambridge University Press2021
全国の図書館

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)
紙図書
Springerc2009.<M17-10-2067>
国立国会図書館

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)
紙図書
Springerc2007.<M17-08-709>
国立国会図書館

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)
マイクロ図書
2002<YCA-C 13.58:6777>
国立国会図書館

Model checking 2nd ed

Model checking 2nd ed
紙図書
Edmund M Clarke, Jr. ... [et al.]The MIT Pressc2018
全国の図書館

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)
紙図書
IOS Press[2013]<M17-15-1429>
国立国会図書館

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

Principles of model checking / Christel Baier, Joost-Pieter Katoen.
紙図書
The MIT Press[2008?]<M159-B76>
国立国会図書館

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)
紙図書
Springerc2011.<M17-12-1236>
国立国会図書館

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

Verification and control of hybrid systems : a symbolic approach : [pbk]
紙図書
Paulo Tabuada ; foreword by Rajeev AlurSpringerc2010
全国の図書館

Reconfigurable system design and verification : hardcover

Reconfigurable system design and verification : hardcover
紙図書
Pao-Ann Hsiung, Marco D. Santambrogio, Chun-Hsian HuangCRC Pressc2009
全国の図書館
RSS