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 International Publishing

9783319194578, 9783319194585
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Require, Test and Trace IT

2015 ◽  
pp. 113-127 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Klaus Hörmaier ◽  
Florian Lorber ◽  
Dejan Ničković ◽  
Stefan Tiran

scholarly journals Successful Use of Incremental BMC in the Automotive Industry

2015 ◽  
pp. 62-77 ◽  
Author(s):  
Peter Schrammel ◽  
Daniel Kroening ◽  
Martin Brain ◽  
Ruben Martins ◽  
Tino Teige ◽  
...  
Keyword(s):  
Automotive Industry

Formal Verification of Industrial Critical Software

2015 ◽  
pp. 1-11 ◽  
Author(s):  
Marielle Petit-Doche ◽  
Nicolas Breton ◽  
Roméo Courbis ◽  
Yoann Fonteneau ◽  
Matthias Güdemann
Keyword(s):  
Formal Verification

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools

2015 ◽  
pp. 47-61 ◽  
Author(s):  
Jin Hyun Kim ◽  
Kim G. Larsen ◽  
Brian Nielsen ◽  
Marius Mikučionis ◽  
Petur Olsen
Keyword(s):  
Real Time ◽  
Formal Analysis ◽  
Automotive Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document