![](/img/cover-not-exists.png)
[ACM Press the 2004 ACM SIGSOFT international symposium - Boston, Massachusetts, USA (2004.07.11-2004.07.14)] Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '04 - A formal approach for modeling and verification of RTCORBA-based applications
Rossi, Matteo, Mandrioli, DinoYear:
2004
Language:
english
DOI:
10.1145/1007512.1007548
File:
PDF, 228 KB
english, 2004