Formal Modeling for UML/MARTE Concurrency Resources.

Pablo Peil, Hector Posadas, Eugenio Villar

Browse the full ICECCS paper archive.