A Al-Daraiseh | TU Delft Repository

Library

local_library Home Repository

AA

A Al-Daraiseh

Conference paper (2)

2 records found

1

Software verification in ground transportation systems

Conference paper (2001) - A Al-Daraiseh (author) , J Zalewski (author) , WJ Toetenel (author)

Expressing and verifying timing requirements with UML

Conference paper (2001) - A Al-Daraiseh (author) , J Zalewski (author) , WJ Toetenel (author)