Title :
A Suite of Software Tools for Executing Formal Specifications
Author :
Ekambareshwar, S.
Author_Institution :
Indian Institute of Technology
Keywords :
Analytical models; Animation; Costs; Formal specifications; Information analysis; Inspection; Programming; Software systems; Software tools; System recovery;
Conference_Titel :
TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Print_ISBN :
0-7803-0538-8
DOI :
10.1109/TENCON.1991.729669
