Verification of UML-Based Real-Time System Designs by Means of cTLA - Sciweavers

39

click to vote

more ISORC 2000 ...

www.item.ntnu.no

Tweet