Méthodes formalisées de spécification et d'analyses de spécifications de systèmes, rapport aux souscripteurs : projet n˚16/92 Lot 1 Expertise de la méthode structurée basée sur les statecharts :
Na minha lista:
| Collectivités auteurs: | Mathix (Auteur), Institut de sûreté de fonctionnement (Directeur de la publication) |
|---|---|
| Formato: | Livre papier |
| Idioma: | Français |
| Publicado em: |
Nanterre :
ISDF
1993.
|
| Colecção: | Collection de l'ISdF
|
| Assuntos: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Expertise de la méthode structurée basée sur les statecharts |
Registos relacionados
-
Démarche générale d'analyse de sécurité des systèmes : projet n˚17-92
(Livre papier)
Institut de sûreté de fonctionnement, 1994 -
Algebraic system specification and development : a survey and annotated bibliography
(Livre numérique)
Bidoit, Michel, 1957- -
Spécification et conception des systèmes temps réel
(Livre papier)
Biancolin, Jean-André
Hermès, 1995 - Specification and design of software systems : Conference on operating systems, Visegrad, Hungary, January 23 27, 1982 : proceedings (Livre numérique)
-
Methodes numériques d'analyse de systèmes. méthodes de decomposition
(Livre papier)
Temam, Roger, 1940-, et autres
IRIA, 1972