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

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319576657, 9783319576664
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Architecture-Based Design: A Satellite On-Board Software Case Study

2017 ◽  
pp. 260-279 ◽  
Author(s):  
Anastasia Mavridou ◽  
Emmanouela Stachtiari ◽  
Simon Bliudze ◽  
Anton Ivanov ◽  
Panagiotis Katsaros ◽  
...  

scholarly journals Constrained Synthesis from Component Libraries

2017 ◽  
pp. 92-110 ◽  
Author(s):  
Antonio Iannopollo ◽  
Stavros Tripakis ◽  
Alberto Sangiovanni-Vincentelli

Coordinated Actors for Reliable Self-adaptive Systems

2017 ◽  
pp. 241-259 ◽  
Author(s):  
Maryam Bagheri ◽  
Ilge Akkaya ◽  
Ehsan Khamespanah ◽  
Narges Khakpour ◽  
Marjan Sirjani ◽  
...  
Keyword(s):  
Adaptive Systems ◽  
Self Adaptive

Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems

2017 ◽  
pp. 153-171
Author(s):  
Boris Madzar ◽  
Jalil Boudjadar ◽  
Juergen Dingel ◽  
Thomas E. Fuhrman ◽  
S. Ramesh
Keyword(s):  
Data Flow ◽  
Fault Tolerant ◽  
Formal Analysis ◽  
Multicore Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document