Original language | English |
---|---|
Title of host publication | Proceedings 1998 Conference on Engineering of Computer-Based Systems (ECBS'98, Maale Hachamisha, Israel, March 30-April 3, 1998) |
Publisher | IEEE Computer Society |
Pages | 37-44 |
ISBN (Print) | 0-8186-8463-1 |
Publication status | Published - 1998 |
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 proceeding › Conference contribution › Academic › peer-review