1993 Proceedings Real-Time Systems Symposium
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

081864480x
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementation of a synchronous execution machine on Chorus micro-kernel

2002 ◽  
Author(s):  
R. Bernhard ◽  
L. Hazard ◽  
F. Horn ◽  
J.-B. Stefani

Architectural considerations in the design of real-time kernels

2002 ◽  
Author(s):  
S.L.A. Lo ◽  
N.C. Hutchinson ◽  
S.T. Chanson
Keyword(s):  
Real Time

Validation of design for space launch vehicles

2002 ◽  
Author(s):  
B.J. Jambor ◽  
G.W. Eger ◽  
S.D. Layton
Keyword(s):  
Launch Vehicles ◽  
Space Launch ◽  
Space Launch Vehicles

Really visual temporal reasoning

2002 ◽  
Author(s):  
Y.S. Ramakrishna ◽  
P.M. Melliar-Smith ◽  
L.E. Moser ◽  
L.K. Dillon ◽  
G. Kutty
Keyword(s):  
Temporal Reasoning

scholarly journals Object-based semantic real-time concurrency control

2002 ◽  
Author(s):  
L.B.C. DiPippo ◽  
V.F. Wolfe
Keyword(s):  
Real Time ◽  
Concurrency Control ◽  
Object Based

scholarly journals Automatic symbolic verification of embedded systems

2002 ◽  
Author(s):  
R. Alur ◽  
T.A. Henzinger ◽  
P.-H. Ho
Keyword(s):  
Embedded Systems ◽  
Symbolic Verification

A new Petri net based formalism for specification, design and analysis of real-time systems

2002 ◽  
Author(s):  
G. Bruno ◽  
A. Castella ◽  
I. Pavesio ◽  
M.P. Pescarmona
Keyword(s):  
Real Time ◽  
Petri Net ◽  
Real Time Systems ◽  
Time Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document