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