Modeling aircraft mission computer task rates

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1855-

  Dong, Jin Song ^a   Mahony, Brendan P ^b   Fulton, Neale ^c  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

^c CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84949515040     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_49     Document Type: Conference Paper

References (4)

1. J.S. Dong, N. Fulton, L. Zucconi, and J. Colton. Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program. ICFEM’97, November 1997. IEEE Press.
2. J.S. Dong and B. Mahony. Active Objects in TCOZ. ICFEM’98, IEEE Press, December 1998.
3. B. Mahony and J.S. Dong. Network Topology and a Case Study in TCOZ. ZUM’98, LNCS, September 1998. Springer-Verlag.
4. B. P. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. ICSE’98, April 1998. IEEE Press.