Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319448770, 9783319448787
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Novel WCET Semantics of Synchronous Programs

2016 ◽  
pp. 195-210 ◽  
Author(s):  
Michael Mendler ◽  
Partha S. Roop ◽  
Bruno Bodin

Input/Output Stochastic Automata

2016 ◽  
pp. 53-68 ◽  
Author(s):  
Pedro R. D’Argenio ◽  
Matias David Lee ◽  
Raúl E. Monti
Keyword(s):  
Input Output ◽  
Stochastic Automata

scholarly journals Real-Time Synthesis is Hard!

2016 ◽  
pp. 105-120 ◽  
Author(s):  
Thomas Brihaye ◽  
Morgane Estiévenart ◽  
Gilles Geeraerts ◽  
Hsi-Ming Ho ◽  
Benjamin Monmege ◽  
...  
Keyword(s):  
Real Time

scholarly journals Modelling Attack-defense Trees Using Timed Automata

2016 ◽  
pp. 35-50 ◽  
Author(s):  
Olga Gadyatskaya ◽  
René Rydhof Hansen ◽  
Kim Guldstrand Larsen ◽  
Axel Legay ◽  
Mads Chr. Olesen ◽  
...  
Keyword(s):  
Timed Automata

scholarly journals Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems

2016 ◽  
pp. 228-244 ◽  
Author(s):  
Max Kanovich ◽  
Tajana Ban Kirigin ◽  
Vivek Nigam ◽  
Andre Scedrov ◽  
Carolyn Talcott
Keyword(s):  
Distributed Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document