Hooman, J. and M. van der Zwaag, A semantics of communicating reactive objects with timing, in: SVERTS, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formalizing UML Models and OCL Constraints in PVS - Kyas, Fecher, al. (2004) Self-citation (Hooman Van der zwaag) (Correct)
No context found.
Hooman, J. and M. van der Zwaag, A semantics of communicating reactive objects with timing, in: SVERTS, 2003.
Correct Development of Embedded Systems - Graf, Hooman (2004) Self-citation (Hooman) (Correct)
No context found.
M. v. d. Zwaag and J. Hooman. A semantics of communicating reactive objects with timing. In Proc. of Workshop on Specification and Validation of UML models for Real-Time Embedded Systems (SVERTS), 2003.
Deductive Verification of UML Models in TLPVS - Arons, Hooman, Kugler.. (2004) Self-citation (Hooman Van der zwaag) (Correct)
No context found.
J. Hooman and M. B. van der Zwaag. A semantics of communicating reactive objects with timing. Technical report, EU project IST 33522 OMEGA, 2004. Available at http://www-omega.imag.fr.
Formalizing UML Models and OCL Constraints in PVS - Kyas, Fecher, de Boer, Jacob, .. (2004) Self-citation (Hooman Van der zwaag) (Correct)
No context found.
Hooman, J. and M. van der Zwaag, A semantics of communicating reactive objects with timing, in: SVERTS, 2003.
D2.2.2 Tool set for system verification - Annex Technical Overview (Correct)
No context found.
J. Hooman and M.B. van der Zwaag. A semantics of communicating reactive objects with timing. In Proceedings of SVERTS'03 (Specification and Validation of UML models for Real Time and Embedded Systems), San Francisco, October 2003.
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