E Anderson | TU Delft Repository

Library

local_library Home Repository

EA

E Anderson

Conference paper (3)

3 records found

1

Specification and verification of a safty shell with statcharts and extended timed graphs

Conference paper (2000) - J van Katwijk (author) , WJ Toetenel (author) , AEK Sahaoui (author) , E Anderson (author) , J Zalewski (author)

Formal specification of a safety shell in real-time control practice

Conference paper (2000) - A-E-K Sahraoui (author) , E Anderson (author) , J. van Katwijk (author) , J Zalewski (author)

New method of improving software safety in mission-critical real-time systems

Conference paper (1999) - E Anderson (author) , J van Katwijk (author) , J Zalewski (author)