Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 14)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030409135, 9783030409142
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Minimizing Characterizing Sets

2020 ◽  
pp. 72-86
Author(s):  
Kadir Bulut ◽  
Guy Vincent Jourdan ◽  
Uraz Cengiz Türker

Modeling and Verifying Dynamic Architectures with FACTum Studio

2020 ◽  
pp. 243-251
Author(s):  
Habtom Kahsay Gidey ◽  
Alexander Collins ◽  
Diego Marmsoler

scholarly journals Modeling Guidelines for Component-Based Supervisory Control Synthesis

2020 ◽  
pp. 3-24
Author(s):  
Martijn Goorden ◽  
Joanna van de Mortel-Fronczak ◽  
Michel Reniers ◽  
Wan Fokkink ◽  
Jacobus Rooda
Keyword(s):  
Supervisory Control ◽  
Control Synthesis

Combining State- and Event-Based Semantics to Verify Highly Available Programs

2020 ◽  
pp. 213-232
Author(s):  
Peter Zeller ◽  
Annette Bieniusa ◽  
Arnd Poetzsch-Heffter
Keyword(s):  
Event Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document