Author:
Al-Shabibi Ali,Buchs Didier,Buffo Mathieu,Chachkov Stanislav,Chen Ang,Hurzeler David
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Didier Buchs and Nicolas Guelfi, “A Formal Specification Framework for Object-Oriented Distributed Systems,” IEEE TSE, vol. 26, no. 7, July 2000, pp. 635–652.
2. Lect Notes Comput Sci;O. Biberstein,2001
3. Mathieu Buffo, Didier Buchs and Stanislav Chachkov, “CoopnTools a Toolkit for the support of CO-OPN,” Proceedings of the Tools Demonstration of the 21th International Conference on Application and Theory of Petri Nets, Aahrus University, June 2000, pp. 2–6.
4. Stanislav Chachkov and Didier Buchs, “From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object-Oriented Petri Net Approach,” International Conference on Application of Concurrency to System Design, Newcastle, IEEE Computer Society Press, June 2001, pp. 99–110.
5. Stanislav Chachkov and Didier Buchs, “Interfacing Software Libraries from Non-deterministic Prototypes,” International Workshop on Rapid System Prototyping, July 1–3, 2002, Darmstadt, Germany
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey of Petri Net Tools;Lecture Notes in Electrical Engineering;2014-11-02
2. Model Checking Techniques for Test Generation from Business Process Models;Reliable Software Technologies – Ada-Europe 2009;2009
3. A Monitoring Toolset for Paose;Applications and Theory of Petri Nets;2008
4. Towards Service-Based Business Process Modeling, Prototyping and Integration;Rapid Integration of Software Engineering Techniques;2006
5. Formal Test Generation from UML Models;Lecture Notes in Computer Science;2006