Lista de

ACM Transactions on Software Engineering and Methodology
7
2002
1
"A formal design notation for real-time systems" (2002) Felder, M.; Pezzè, M. ACM Transactions on Software Engineering and Methodology. 11(2):149-190