Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Alborghetti, A., A. Gargantini, and A. Morzenti. Providing automated support to deductive analysis of time critical systems. Proc. 6th European Software Engineering Conf., 1997.
2. Archer, M. and C. Heitmeyer. Mechanical verification of timed automata: a case study. Proc. Real-Time Technology and Applications Symp., pp. 192–203, 1996.
3. Bun, L. Checking properties of ASTRAL specifications with PVS. Proc. 2nd Annual Conf. of the Advanced School for Computing and Imaging, pp. 102–107, 1996.
4. Bun, L. Embedding Astral in PVS. Proc. 3rd Annual Conf. of the Advanced School for Computing and Imaging, pp. 130–136, 1997.
5. Coen-Porisini, A., C. Ghezzi, and R.A. Kemmerer. Specification of realtime systems using ASTRAL. IEEE Transactions on Software Engineering, 23(9): 572–598, 1997.