|
СТ |
Formalising an Integrated Language in PVS |
2003 |
Salaun G., Attiogbe C. |
|
|
|
Lecture Notes in Computer Science |
09.01.2004 |
|
СТ |
Integration of Formal Datatypes within State Diagrams |
2003 |
Attiogbe C., Poizat P., Salaun G. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Handling Interaction in Software Specification |
1993 |
Attiogbe C., Durieux J. -L. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |
|
СТ |
Description d une Interface Interactive et Graphigue pour des Systemes de Manipulation Sumbolique et Ebauche de Spesification Formelle |
1992 |
Attiogbe C., Durieux J. -I., Lucrece L. |
|
|
|
BIGRE |
31.03.1992 |
