Preface of the special issue on formal methods in industrial critical systems

2017 ◽  
Vol 19 (4) ◽  
pp. 391-393 ◽  
Author(s):  
Matthias Güdemann ◽  
Manuel Núñez
Keyword(s):  
Formal Methods ◽  
Critical Systems ◽  
Special Issue

scholarly journals Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems

2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY
Keyword(s):  
Computer Science ◽  
Formal Methods ◽  
Wide Spectrum ◽  
Critical Systems ◽  
Research Groups ◽  
Special Issue ◽  
Mathematical Structures ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Final Selection

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

scholarly journals Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)

2011 ◽  
Vol 76 (2) ◽  
pp. 63-64
Author(s):  
Darren Cofer ◽  
Alessandro Fantechi ◽  
Stefan Leue ◽  
Pedro Merino
Keyword(s):  
Formal Methods ◽  
Critical Systems ◽  
Special Issue

The practice of formal methods in safety-critical systems

1995 ◽  
Vol 28 (1) ◽  
pp. 77-87 ◽  
Author(s):  
Shaoying Liu ◽  
Victoria Stavridou ◽  
Bruno Dutertre
Keyword(s):  
Formal Methods ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

scholarly journals Guest Editors’ Introduction: Special Issue on Time-Critical Systems Design Part II

2018 ◽  
Vol 35 (4) ◽  
pp. 5-6
Author(s):  
Tulika Mitra ◽  
Jurgen Teich ◽  
Lothar Thiele
Keyword(s):  
Systems Design ◽  
Critical Systems ◽  
Special Issue ◽  
Time Critical
Sign in / Sign up

Export Citation Format

Share Document