Formal requirements specification for command and control systems

Authors :: Pol, van de, J.C.
Hooman, J.J.M.
Jong, de, E.
Algorithms, Geometry and Applications
Distributed Real-Time Systems - IPA
Source :: Proceedings 1998 Conference on Engineering of Computer-Based Systems (ECBS'98, Maale Hachamisha, Israel, March 30-April 3, 1998), 37-44, STARTPAGE=37;ENDPAGE=44;TITLE=Proceedings 1998 Conference on Engineering of Computer-Based Systems (ECBS'98, Maale Hachamisha, Israel, March 30-April 3, 1998)
Publication Year :: 1998
Publisher :: IEEE Computer Society, 1998.

Language :: English
Database :: OpenAIRE
Journal :: Proceedings 1998 Conference on Engineering of Computer-Based Systems (ECBS'98, Maale Hachamisha, Israel, March 30-April 3, 1998), 37-44, STARTPAGE=37;ENDPAGE=44;TITLE=Proceedings 1998 Conference on Engineering of Computer-Based Systems (ECBS'98, Maale Hachamisha, Israel, March 30-April 3, 1998)
Accession number :: edsair.narcis........ff0ee46e1b9594eb060a4f55c48288c0

Tools