dblp.uni-trier.dewww.uni-trier.de

Angelika Votintseva

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEJozef Hooman, Hillel Kugler, Iulian Ober, Angelika Votintseva, Yuri Yushtein: Supporting UML-based development of embedded systems by formal techniques. Software and System Modeling 7(2): 131-155 (2008)
2005
2EEWerner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva: A discrete-time UML semantics for concurrency and communication in safety-critical applications. Sci. Comput. Program. 55(1-3): 81-115 (2005)
2002
1EEWerner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva: Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. FMCO 2002: 71-98

Coauthor Index

1Werner Damm [1] [2]
2Jozef Hooman [3]
3Bernhard Josko [1] [2]
4Hillel Kugler [3]
5Iulian Ober [3]
6Amir Pnueli [1] [2]
7Yuri Yushtein [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)