Software verification in ground transportation systems

A Al-Daraiseh, J Zalewski, WJ Toetenel

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationISAS SCI 2001: proceedings
Editors N Callaos, S Long, M Loutfi
Place of PublicationOrlando
PublisherInternational Institute of Informatics and Systemics
Pages271-276
Number of pages6
ISBN (Print)980-07-7557-9
Publication statusPublished - 2001
EventWorld Multiconference on Systemics, Cybernetics and Informatics, Orlando - Orlando
Duration: 22 Jul 200125 Jul 2001

Publication series

Name
PublisherInternational Institute of Informatics and Systemics

Conference

ConferenceWorld Multiconference on Systemics, Cybernetics and Informatics, Orlando
Period22/07/0125/07/01

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this

Al-Daraiseh, A., Zalewski, J., & Toetenel, WJ. (2001). Software verification in ground transportation systems. In N Callaos, S Long, & M Loutfi (Eds.), ISAS SCI 2001: proceedings (pp. 271-276). International Institute of Informatics and Systemics.