TURTLE-P: a UML profile for the formal validation of critical and distributed systems.
Saved in:
| Title: | TURTLE-P: a UML profile for the formal validation of critical and distributed systems. |
|---|---|
| Authors: | Apvrille, Ludovic1, Ludovic.Apvrille@telecom-paris.fr, De Saqui-Sannes, Pierre2, desaqui@ensica.fr, Khendek, Ferhat3, khendek@ece.concordia.ca |
| Source: | Software & Systems Modeling; Dec2006, Vol. 5 Issue 4, p449-466, 18p, 23 Diagrams, 1 Chart |
| Database: | Applied Science & Technology Source |
| ISSN: | 16191366 |
|---|---|
| DOI: | 10.1007/s10270-006-0029-5 |
