Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
EA
E Anderson
Academic Work (3)
Conference paper (3)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
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)
