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

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

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

A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models

2020 ◽  
pp. 127-146 ◽  
Author(s):  
Timm Liebrenz ◽  
Paula Herber ◽  
Sabine Glesner
Keyword(s):  
Hybrid System ◽  
System Models ◽  
Service Oriented ◽  
Oriented Approach

scholarly journals A Formally Verified Model of Web Components

2020 ◽  
pp. 51-71
Author(s):  
Achim D. Brucker ◽  
Michael Herzberg

scholarly journals Reowolf: Synchronous Multi-party Communication over the Internet

2020 ◽  
pp. 235-242
Author(s):  
Christopher A. Esterhuyse ◽  
Hans-Dieter A. Hiep
Keyword(s):  
The Internet

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

scholarly journals Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata

2020 ◽  
pp. 147-169
Author(s):  
Lars Luthmann ◽  
Hendrik Göttmann ◽  
Malte Lochau
Keyword(s):  
Conformance Testing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document