 |
 |
 |
 |
|
|
|
|
| HAL: hal-00458200, version 1 |
| Detailed view |  Export this paper |
 |
| 4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, Damscus, Syria : Syrienne, République Arabe (2004) |
|
|
|
|
| Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN |
|
|
| Christian Attiogbé 1 |
|
|
| (2004) |
|
|
|
| no abstract |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : FRE2729 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Software Engineering |
| hal-00458200, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00458200 | |
| oai:hal.archives-ouvertes.fr:hal-00458200 | |
| From: Lina Hal | |
| Submitted for: | |
| Submitted on: Friday, 19 February 2010 16:09:43 | |
| Updated on: Tuesday, 23 February 2010 09:12:44 | |
