Formal methods for the specification and design of real-time safety critical systems

収録刊行物

• The Journal of Systems and Software

  The Journal of Systems and Software 33-60, 1992