Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
AA
A Al-Daraiseh
Academic Work (2)
Conference paper (2)
Sort by descending (newest to oldest)
Sort by ascending (oldest to newest)
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)
