Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642410093, 9783642410109
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses

2013 ◽  
pp. 1-16 ◽  
Author(s):  
Adrien Champion ◽  
Rémi Delmas ◽  
Michael Dierkes ◽  
Pierre-Loïc Garoche ◽  
Romain Jobredeaux ◽  
...  
Keyword(s):  
Control Systems ◽  
Formal Methods ◽  
Non Linear ◽  
Systems Models

High-Level Guidance for Managers Deploying Formal Methods in Their Organisation

2013 ◽  
pp. 139-153
Author(s):  
Christophe Ponsard ◽  
Jean-Christophe Deprez ◽  
Renaud De Landtsheer
Keyword(s):  
Formal Methods ◽  
High Level

On the Effectiveness of Assertion-Based Verification in an Industrial Context

2013 ◽  
pp. 78-93 ◽  
Author(s):  
Laurence Pierre ◽  
Fabrice Pancher ◽  
Rodolphe Suescun ◽  
Jérôme Quévremont
Keyword(s):  
Industrial Context
Load More ...
Sign in / Sign up

Export Citation Format

Share Document