selected publications
-
academic article
- Multi-Agent System Case Studies in Command and Control, Information Fusion and Data Management. Informatica. 28:79-89. 2004
- Specification and analysis of real-time systems using csp and petri nets. International Journal of Software Engineering and Knowledge Engineering. 6:229-248. 1996
- RELIABILITY MEASUREMENT - FROM THEORY TO PRACTICE. IEEE Software. 9:13-20. 1992