A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation - Sciweavers

27

click to vote

more APSEC 2005 ...

efficient.citi.tudor.lu

Tweet