Object-oriented specification and formal verification of real-time systems

1996 ◽  
Vol 2 (1) ◽  
pp. 161-198 ◽  
Author(s):  
Jyhjong Lin ◽  
David Chenho Kung ◽  
Pei Hsia
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Object Oriented ◽  
Real Time Systems ◽  
Time Systems

Formal Verification of Transformation Rules for Speculative Execution in Real-Time Systems

1996 ◽  
Vol 29 (6) ◽  
pp. 9-17
Author(s):  
Mohamed Younis ◽  
Grace Tsai ◽  
Thomas Marlowe ◽  
Alexander Stoyenko
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Speculative Execution ◽  
Real Time Systems ◽  
Transformation Rules ◽  
Time Systems

Special Issue on Object-Oriented Real-Time Systems

1996 ◽  
Vol 36 (1) ◽  
pp. 1-3 ◽  
Author(s):  
Dieter K. Hammer ◽  
Lonnie R. Welch
Keyword(s):  
Real Time ◽  
Object Oriented ◽  
Real Time Systems ◽  
Special Issue ◽  
Time Systems

Integrating Schedulability Analysis and SDL in an Object-Oriented Methodology for Embedded Real-time Systems

SDL '99 ◽  
1999 ◽  
pp. 241-256 ◽  
Author(s):  
J.M. Alvarez ◽  
M. Díaz ◽  
L.M. Llopis ◽  
E. Pimentel ◽  
J.M. Troya
Keyword(s):  
Real Time ◽  
Schedulability Analysis ◽  
Object Oriented ◽  
Real Time Systems ◽  
Time Systems
Sign in / Sign up

Export Citation Format

Share Document