2015

Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings

CyPhy (Workshop) (5th : 2015 : Amsterdam, Netherlands)

Cham : Springer, [2015]

 

2017

Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers

CyPhy (Workshop) (6th : 2016 : Pittsburgh, Penn.)

Cham, Switzerland : Springer, 2017

 

2019

Cyber physical systems : design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised selected papers

CyPhy (Workshop) (7th : 2017 : Seoul, Korea)

Cham, Switzerland : Springer, 2019

 

2020

Cyber Physical Systems : model-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

CyPhy (Workshop) (9th : 2019 : New York, N.Y.)

Cham : Springer, 2020

 

2015

Dependable software systems engineering

NATO Advanced Study Institute on Dependable Software Systems Engineering (2014 : Marktoberdorf, Germany)

Amsterdam : IOS Press, 2015

 

2013

Engineering dependable software systems

NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)

Amsterdam : IOS Press, [2013]

 

2013

Engineering Dependable Software Systems

Broy, M



 

2009

Model checking and artificial intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers

MoChArt 2008 (2008 : Patra, Greece)



 

2011

Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers

MoChArt 2010 (2010 : Atlanta, Ga.)



 

2010

Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings

RP (Workshop) (4th : 2010 : Brno, Czech Republic)



 

2011

Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

RP (Workshop) (5th : 2011 : Genoa, Italy)



 

2012

Reachability problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

RP (Workshop) (6th : 2012 : Bordeaux, France)



 

2013

Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings

RP (Workshop) (7th : 2013 : Uppsala, Sweden)

Heidelberg : Springer, [2013]

 

2014

Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

RP (Workshop) (8th : 2014 : Oxford, England)

Cham : Springer, 2014

 

2016

Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, proceedings

RP (Workshop) (10th : 2016 : Ålborg, Denmark)

Switzerland : Springer, 2016

 

2017

Reachability problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

RP (Workshop) (11th : 2017 : London, England)

Cham, Switzerland : Springer, 2017