Return to Article Details
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model
Download
Download PDF