Thomas Lambolais
IdRefMots clés
FR |
EN
Vérification
Langage spécification
Algèbre processus
Spécification formelle
Protocole transmission
Lotos
Specification language
Process algebra
Formal specification
Transmission protocol
Systèmes de télécommunications
Logiciels -- Développement
Méthodes formelles (informatique)
Ingénierie des besoins et des exigences
Ingénierie Système
Modélisation d'entreprise
Systèmes d’Information d’Entreprise
Ingénierie des exigences
Intégration des systèmes (ingénierie)
Entreprises