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

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642333644, 9783642333651
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multi-core Reachability for Timed Automata

2012 ◽  
pp. 91-106 ◽  
Author(s):  
Andreas E. Dalsgaard ◽  
Alfons Laarman ◽  
Kim G. Larsen ◽  
Mads Chr. Olesen ◽  
Jaco van de Pol
Keyword(s):  
Timed Automata

scholarly journals Timed Automata with Disjoint Activity

2012 ◽  
pp. 188-203 ◽  
Author(s):  
Marco Muñiz ◽  
Bernd Westphal ◽  
Andreas Podelski
Keyword(s):  
Timed Automata

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition

2012 ◽  
pp. 139-154 ◽  
Author(s):  
Hamed Ghasemieh ◽  
Anne Remke ◽  
Boudewijn Haverkort ◽  
Marco Gribaudo
Keyword(s):  
Petri Nets ◽  
Hybrid Petri Nets

scholarly journals Toward a Timed Theory of Channel Coding

2012 ◽  
pp. 27-42 ◽  
Author(s):  
Eugene Asarin ◽  
Nicolas Basset ◽  
Marie-Pierre Béal ◽  
Aldric Degorre ◽  
Dominique Perrin
Keyword(s):  
Channel Coding

scholarly journals Reducing Quasi-Equal Clocks in Networks of Timed Automata

2012 ◽  
pp. 155-170 ◽  
Author(s):  
Christian Herrera ◽  
Bernd Westphal ◽  
Sergio Feo-Arenis ◽  
Marco Muñiz ◽  
Andreas Podelski
Keyword(s):  
Timed Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document