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

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030270070, 9783030270087
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multiple Analyses, Requirements Once:

2019 ◽  
pp. 59-75
Author(s):  
Philipp Berger ◽  
Johanna Nellen ◽  
Joost-Pieter Katoen ◽  
Erika Ábrahám ◽  
Md Tawhid Bin Waez ◽  
...  

Probabilistic Verification for Reliable Network-on-Chip System Design

2019 ◽  
pp. 110-126
Author(s):  
Benjamin Lewis ◽  
Arnd Hartmanns ◽  
Prabal Basu ◽  
Rajesh Jayashankara Shridevi ◽  
Koushik Chakraborty ◽  
...  
Keyword(s):  
System Design ◽  
Network On Chip ◽  
Probabilistic Verification ◽  
On Chip

Incremental Development of a Safety Critical System Combining formal Methods and DSMLs

2019 ◽  
pp. 93-109 ◽  
Author(s):  
Akram Idani ◽  
Yves Ledru ◽  
Abderrahim Ait Wakrime ◽  
Rahma Ben Ayed ◽  
Simon Collart-Dutilleul
Keyword(s):  
Formal Methods ◽  
Critical System ◽  
Safety Critical ◽  
Incremental Development ◽  
Safety Critical System

scholarly journals The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

2019 ◽  
pp. 76-92 ◽  
Author(s):  
Martijn Goorden ◽  
Joanna van de Mortel-Fronczak ◽  
Michel Reniers ◽  
Wan Fokkink ◽  
Jacobus Rooda
Keyword(s):  
Supervisory Control ◽  
Control Synthesis ◽  
The Impact
Load More ...
Sign in / Sign up

Export Citation Format

Share Document