W. Damm, B. Josko, A. Pnueli, and A. Votintseva. A Formal Semantics for a UML Kernel Language. Omega Technical report, part 1 of the deliverable D1.1.2, Project IST-2001-33522 OMEGA, January 2003. Available from http://wwwomega. imag.fr/doc/d1000009 6/D112 KL.pdf. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Understanding UML: A Formal Semantics of Concurrency.. - Damm, Josko, Pnueli, .. (2002) (4 citations) Self-citation (Damm Josko Pnueli Votintseva) (Correct)
No context found.
W. Damm, B. Josko, A. Pnueli, and A. Votintseva. A Formal Semantics for a UML Kernel Language. Omega Technical report, part 1 of the deliverable D1.1.2, Project IST-2001-33522 OMEGA, January 2003. Available from http://wwwomega. imag.fr/doc/d1000009 6/D112 KL.pdf.
A Discrete-Time UML Semantics for Concurrency and.. - Damm, Josko, Pnueli, .. Self-citation (Damm Josko Pnueli Votintseva) (Correct)
No context found.
W. Damm, B. Josko, A. Pnueli, and A. Votintseva. A Formal Semantics for a UML Kernel Language. Omega Technical report, part 1 of the deliverable D1.1.2, Project IST-2001-33522 OMEGA, January 2003. Available from http://www-omega.imag.fr/doc/d1000009 6/D112 KL.pdf.
Correct Development of Embedded Systems - Graf, Hooman (2004) (Correct)
No context found.
W. Damm, B. Josko, A. Pnueli, and A. Votintseva. A formal semantics for a UML kernel language. In F. de Boer, M. Bonsangue, S. Graf, and W.-P. de Roever, editors, 1st Symp. on Formal Methods for Components and Objects, revised lectures, volume 2852 of LNCS Tutorials, 2003.
A Semantics of Communicating Reactive Objects with Timing - Hooman, van der Zwaag (2004) (1 citation) (Correct)
No context found.
W. Damm, B. Josko, A. Votintseva, and A. Pnueli. A formal semantics for a UML kernel language. Available via http://www-omega.imag.fr/ Part I of IST/33522/WP1.1/D1.1.2, Omega Deliverable, 2003.
Adapting and optimising untimed model checking tools to UML - Offis (Correct)
No context found.
W. Damm, B. Josko, A. Votintseva, A. Pnuelli, A Formal Semantics for a UML Kernel Language, Deliverable WP1.1/D1.1.2 of the Omega project, January 2003, available at http://www-omega.imag.fr/doc/d1000009_6/D112_KL.pdf .
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC