|
|||||
|
|
TURTLE-P: a UML profile for the formal validation of critical and distributed systems |
|
| Authors: | Ludovic Apvrille Pierre de Saqui-Sannes Ferhat Khendek |
| Affiliation: | (1) Laboratoire LabSoC, GET/ENST, 2229 route des Crêtes, B.P. 193, 06904 Sophia-Antipolis Cedex, France;(2) Department DMI, ENSICA, 1 place Emile Blouin, 31056 Toulouse Cedex 05, France;(3) Electrical and Computer Engineering Department, Concordia University, 1455 de Maisonneuve W., Montreal, QC, H3G 1M8, Canada |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |