TAME: A Specialized Specification and Verification System for Timed Automata (1996)

by Myla Archer , Constance Heitmeyer
Venue:Work In Progress (WIP) Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS'96
Citations:10 - 3 self