Christian Hernalsteen

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

Joël Goossens, Christian Hernalsteen
A Tool for Statistical Analysis of Hard Real-Time Scheduling Algorithms. Annual Simulation Symposium (1998)
Christian Hernalsteen, Arnaud Février
Introduction of a Suspend/Resume Operator in ET-LOTOS. ARTS (1997)
Christian Hernalsteen
A Timed Automaton Model for ET-LOTOS Verification. FORTE (1997)
Stephane de Vroey, Joël Goossens, Christian Hernalsteen
A Generic Simulator of Real-Time Scheduling Algorithms. Annual Simulation Symposium (1996)