Formal requirements specification for command and control systems

J.C. Pol, van de, J.J.M. Hooman, E. Jong, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings 1998 Conference on Engineering of Computer-Based Systems (ECBS'98, Maale Hachamisha, Israel, March 30-April 3, 1998)
PublisherIEEE Computer Society
ISBN (Print)0-8186-8463-1
Publication statusPublished - 1998

Cite this