2010

Architecting critical systems : first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010

ISARCS 2010 (2010 : Prague, Czech Republic)



 

2009

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings

SAFECOMP 2009 (2009 : Hamburg, Germany)



 

2007

Critical infrastructure : reliability and vulnerability

Murray, Alan T.



 

2009

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers

International Workshop on Formal Methods for Industrial Critical Systems (13th : 2008 : L'Aquila, Italy)



 

2010

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings

International Workshop on Formal Methods for Industrial Critical Systems (15th : 2010 : Antwerp, Belgium)



 

2013

Formal methods for industrial critical systems : a survey of applications

[Washington, DC] : IEEE Computer Society ; Hoboken, New Jersey : Wiley, [2013]

 

2009

Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers

Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil)



 

2012

Large-scale complex IT systems : development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers

Monterey Workshop (17th : 2012 : Oxford, Great Britain)