Author:
Grumberg Orna,Katz Shmuel
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference37 articles.
1. Katz, S.: Faithful translations among models and specifications. In: Proceedings of FME2001: Formal Methods for Increasing Software Productivity, vol. 2021 of LNCS, pp. 419–434. Springer, Berlin Heidelberg New York (2001)
2. Grumberg, O., Katz, S.: VeriTech: translating among specifications and verification tools–design principles. In: Third Austria-Israel Symposium Software for Communication Technologies, April 1999 pp. 104–109, At http://www.cs.technion.ac.il/Labs/ssdl/veritech/
3. Korenblat, K., Grumberg, O., Katz, S.: Translations between textual transition systems and Petri nets. In: Proceedings of third IFM conference, vol. 2355 of LNCS, pp. 339–359. Springer Berlin Heidelberg New York (2002)
4. Katz, S., Grumberg, O.: A framework for translating models and specifications. In: Proceedings of third integrated formal methods (IFM) Conference, vol. 2355 of LNCS, pp. 145–164. Springer, Berlin Heidelberg New York (2002)
5. Berg, M., Katz, S.: Property transformations for translations. Technical Report CS-2002-05, Computer Science Department, The Technion (2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献