Computer systems - Congresses. - Verification
Overview
| Works: | 23 works in 17 publications in 17 languages | |
|---|---|---|
Titles
Hardware and Software, Verification and TestingFirst International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
by:
(Electronic resources)
Model checking and artificial intelligence5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(Electronic resources)
Reachability problems3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(Electronic resources)
Reachability problems4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, proceedings /
by:
(Electronic resources)
Reachability problems5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(Electronic resources)
Reachability problems6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(Electronic resources)
Reachability problems8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014 : proceedings /
by:
(Language materials, printed)
Cyber physical systemsdesign, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 : proceedings /
by:
(Electronic resources)
Reachability problems10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(Electronic resources)
Cyber physical systemsdesign, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016 : revised selected papers /
by:
(Electronic resources)
Reachability problems11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(Electronic resources)
Cyber physical systemsdesign, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers /
by:
(Electronic resources)
Reachability problems12th International Conference, RP 2018, Marseille, France, September 24-26, 2018 : proceedings /
by:
(Electronic resources)
Cyber physical systemsmodel-based design : 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019 : revised selected papers /
by:
(Electronic resources)
Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings /
by:
(Electronic resources)
Reachability problems14th International Conference, RP 2020, Paris, France, October 19-21, 2020 : proceedings /
by:
(Electronic resources)
Reachability problems15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021 : proceedings /
by:
(Electronic resources)
Reachability problems16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects