yr 〜
yr

Search results 13

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 HeadingHybrid systems--Congresses. Computer systems--Verification--Congresses. Computer systems--Verificatio...

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
  • Subject HeadingMachine theory--Congresses. Computer systems--Verification--Congresses. Decidability (Mathematical lo...

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
  • Subject HeadingComputer systems--Verification--Congresses. Decidability (Mathematical lo...

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
  • Subject HeadingComputer systems--Verification--Congresses. Numerical Analysis, Computer-...

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...s--Congresses. Computer systems--Verification--Congresses. Cybernetics--Congresses. Auto...

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

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 HeadingComputer systems--Verification--Congresses. Decidability (Mathematical lo...

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

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
  • Subject Heading...n--Congresses. Computer systems--Verification--Congresses.

Reachability problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings

Reachability problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings
Paper図書
Anthony W. Lin, Georg Zetzsche, Igor Potapov (eds.)Springerc2022
Other Libraries in Japan

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
  • Subject HeadingComputer systems--Verification--Congresses. Decidability (Mathematical lo...

Reachability problems : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings

Reachability problems : 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings
Paper図書
Olivier Bournez, Igor Potapov (eds.)Springerc2009
Other Libraries in Japan

Reached to the end of result.