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

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319153162, 9783319153179
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Widening the Schedulability of Hierarchical Scheduling Systems

2015 ◽  
pp. 209-227 ◽  
Author(s):  
Abdeldjalil Boudjadar ◽  
Alexandre David ◽  
Jin Hyun Kim ◽  
Kim Guldstrand Larsen ◽  
Marius Mikučionis ◽  
...  
Keyword(s):  
Hierarchical Scheduling

Compositional Analysis Using Component-Oriented Interpolation

2015 ◽  
pp. 68-85
Author(s):  
Viet Yen Nguyen ◽  
Benjamin Bittner ◽  
Joost-Pieter Katoen ◽  
Thomas Noll
Keyword(s):  
Compositional Analysis

scholarly journals Adding Formal Meanings to AADL with Hybrid Annex

2015 ◽  
pp. 228-247 ◽  
Author(s):  
Ehsan Ahmad ◽  
Yunwei Dong ◽  
Shuling Wang ◽  
Naijun Zhan ◽  
Liang Zou
Load More ...
Sign in / Sign up

Export Citation Format

Share Document