 | 2009 |
|---|
| 3 |       | Aneta Vulgarakis,
Jagadish Suryadevara,
Jan Carlson,
Cristina Cerschi Seceleanu,
Paul Pettersson:
Formal Semantics of the ProCom Real-Time Component Model.
EUROMICRO-SEAA 2009: 478-485 |
| 2 | | Davor Slutej,
John Håkansson,
Jagadish Suryadevara,
Cristina Cerschi Seceleanu,
Paul Pettersson:
Analyzing a Pattern-Based Model of a Real-Time Turntable System.
Electr. Notes Theor. Comput. Sci. 253(1): 161-178 (2009) |
| 2007 |
|---|
| 1 | | Jagadish Suryadevara,
R. K. Shyamasundar:
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources.
Journal of Object Technology 6(1): (2007) |
