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

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540216711, 9783540409038
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ELSE: A New Symbolic State Generator for Timed Automata

2004 ◽  
pp. 273-280 ◽  
Author(s):  
Sarah Zennou ◽  
Manuel Yguel ◽  
Peter Niebert
Keyword(s):  
Timed Automata

PARS: A Process Algebra with Resources and Schedulers

2004 ◽  
pp. 134-150 ◽  
Author(s):  
MohammadReza Mousavi ◽  
Michel Reniers ◽  
Twan Basten ◽  
Michel Chaudron
Keyword(s):  
Process Algebra

scholarly journals Causal Time Calculus

2004 ◽  
pp. 260-272 ◽  
Author(s):  
Franck Pommereau

scholarly journals Time-Optimal Test Cases for Real-Time Systems

2004 ◽  
pp. 234-245 ◽  
Author(s):  
Anders Hessel ◽  
Kim G. Larsen ◽  
Brian Nielsen ◽  
Paul Pettersson ◽  
Arne Skou
Keyword(s):  
Real Time ◽  
Test Cases ◽  
Real Time Systems ◽  
Optimal Test ◽  
Time Optimal ◽  
Time Systems

Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently

2004 ◽  
pp. 34-45 ◽  
Author(s):  
Jianhua Zhao ◽  
Xuandong Li ◽  
Tao Zheng ◽  
Guoliang Zheng
Keyword(s):  
Timed Automata

Towards Efficient Partition Refinement for Checking Reachability in Timed Automata

2004 ◽  
pp. 2-17
Author(s):  
Agata Półrola ◽  
Wojciech Penczek ◽  
Maciej Szreter
Keyword(s):  
Timed Automata ◽  
Partition Refinement
Load More ...
Sign in / Sign up

Export Citation Format

Share Document