Lectures on Embedded Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540651932, 9783540494980
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On modeling real-time task systems

1998 ◽  
pp. 153-169 ◽  
Author(s):  
Deji Chen ◽  
Aloysius Mok ◽  
Sanjoy Baruah
Keyword(s):  
Real Time ◽  
Time Task ◽  
Task Systems

Verification of clocked and hybrid systems

1998 ◽  
pp. 4-73 ◽  
Author(s):  
Yonit Kestent ◽  
Zohar Manna ◽  
Amir Pnueli
Keyword(s):  
Hybrid Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document