Reference18 articles.
1. Sebastian Bab and Bernd Mahr. ∈T-integration of logics. In Formal Methods in Software and Systems Modeling, pages 204–219, 2005.
2. Marc Born, Eckhardt Holz, and Olaf Kath. Softwareentwicklung mit UML 2. Addison-Wesley Verlag München, 2004.
3. J.P. Cleave. A Study of Logics. Clarendon Press, 1991.
4. Hartmut Ehrig, Hans-Jörg Kreowski, Bernd Mahr, and Peter Padawitz. Algebraic implementation of abstract data types. Theoretical Computer Science, 20:209–263, 1982.
5. Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1. Springer Verlag Berlin, 1985.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Conceptual Model for Conformance, Compliance and Consistency;Embedded Systems – Modeling, Technology, and Applications;2006