Author:
Bucci Giacomo,Carnevali Laura,Ridi Lorenzo,Vicario Enrico
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference44 articles.
1. Alur, R., Dill, D.L.: Automata for modeling real-time systems. In: 17th ICALP (1990)
2. Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL: a tool-suite for automatic verification of real-time systems. In: Hybrid Systems III: LNCS, 1066 (1996)
3. Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool KRONOS. In: Hybrid Systems III, 1066. Springer (1995)
4. Merlin P., Farber D.: Recoverability of communication protocols. IEEE Trans. Commun. 24(9), 1036–1043 (1976)
5. Berthomieu B., Diaz M.: Modeling and verification of time dependent systems using time petri nets. IEEE Trans. Softw. Eng. 17(3), 259–273 (1991)
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献