AEK Sahaoui | TU Delft Repository

Library

local_library Home Repository

AS

AEK Sahaoui

Conference paper (1)

1 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)