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

TOTAL DOCUMENTS

9
(FIVE YEARS 9)

H-INDEX

2
(FIVE YEARS 2)

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 ◽  
...  

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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document