The composability of ASTRAL realtime specifications

Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93 ◽

10.1145/154183.154271 ◽

1993 ◽

Cited By ~ 1

Author(s):

Alberto Coen-Porisini ◽

Richard A. Kemmerer

Download Full-text