Modeling Aircraft Mission Computer Task Rates

Authors:
Jin Song Dong;Brendan P. Mahony;Neale Fulton
Affiliations:
-;-;-
Venue:
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Year:
1999

Blending Object-Z and Timed CSP: an introduction to TCOZ

Proceedings of the 20th international conference on Software engineering
Network Topology and a Case Study in TCOZ

ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Active Objects in TCOZ

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Modeling and verifying hierarchical real-time systems using stateful timed CSP

ACM Transactions on Software Engineering and Methodology (TOSEM)

Hi-index	0.00