Hybrid and Real-Time Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540626008, 9783540683308
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

State clock logic: A decidable real-time logic

1997 ◽  
pp. 33-47 ◽  
Author(s):  
Jean-François Raskin ◽  
Pierre-Yves Schobbens
Keyword(s):  
Real Time ◽  
Time Logic

Analysis of slope-parametric hybrid automata

1997 ◽  
pp. 75-80 ◽  
Author(s):  
Frédéric Boniol ◽  
Augusto Burgueño ◽  
Olivier Roux ◽  
Vlad Rusu
Keyword(s):  
Hybrid Automata

scholarly journals Data-structures for the verification of timed automata

1997 ◽  
pp. 346-360 ◽  
Author(s):  
Eugene Asarin ◽  
Marius Bozga ◽  
Alain Kerbrat ◽  
Oded Maler ◽  
Amir Pnueli ◽  
...  
Keyword(s):  
Data Structures ◽  
Timed Automata

Using HyTech to verify an automotive control System

1997 ◽  
pp. 139-153 ◽  
Author(s):  
Thomas Stauner ◽  
Olaf Müller ◽  
Max Fuchs
Keyword(s):  
Control System ◽  
Automotive Control
Load More ...
Sign in / Sign up

Export Citation Format

Share Document