Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada
Authors:
Sandeep Mitra;Leslie C. Lander;Thomas F. Piatkowski
Affiliations:
Department of Computer Science, Thomas J. Watson School of Engineerhg and Applied Science, State University of New York, Binghamton, NY;Department of Computer Science, Thomas J. Watson School of Engineerhg and Applied Science, State University of New York, Binghamton, NY;Department of Electical Engineering, Department of Computer Science, Western Michigan University, Kalamazoo, MI
Venue:
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers