Author:
Rossi Carlos,Enciso Manuel,de Guzmán Inmaculada P.
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference49 articles.
1. 2U Consortium. UML 2 Submission, 2002. http://www.2uworks.org
2. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11): 832–843, 1983
3. Allen, J.F.: Towards a general theory of action and time. Artificial Intelligence, 23(2): 123–154, 1984
4. Anil Saldhana, J., Shatz, S.M.: UML diagrams to object Petri net models: An approach for modeling and analysis. In: Proceedings of the International Conference of Software and Knowledge Engineering SEKE’00, 2000, pp. 103–110
5. Barroca, L.M., McDermid, J.A.: Formal methods: Use and relevance for the development of safety-critical systems. Computer Journal, 35(6): 579–599, 1992
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献