Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] ISN:0000000115592502 | 1 hits
Person
ISNI: 
0000 0001 1559 2502
Name: 
Motet, G.
Motet, Gilles
Dates: 
1956-
Creation class: 
Computer file
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
Related names: 
Baron, Claude
Geffroy, Jean-Claude
Geoffroy, J. C.
Hernandez, Jean-Alain
Joly, René (1948-....))
Lopez Toro, Roberto Alfonso (1970-....))
Marpinard, A.
Marpinard, Alain (1957-....))
Seuma Vidal, Jean-Pierre (1979-....))
Szmuc, Tomasz (1948- ))
Titles: 
CONTRAINTES ET TEMPS ABSOLU DANS LES RESEAUX DE PETRI APPLICATION A L'ORDONNANCEMENT DE TACHES A DUREES INCERTAINES DANS LES SYSTEMES TEMPS-REEL
control system in formal language theory and the model monitoring approach for reliability and safety, The
Contrôle optimal en ultracentrifugation
Définition et détection automatique des incohérences structurelles et comportementales des modèles UML Couplage des techniques de métamodélisation et de vérification basée sur la programmation logique
Design of dependable computing systems
Effets des mécanismes d'exception sur la structure des logiciels Application aux systémes ADA sûrs de fonctionnement
Embedded system applications, 1997:
Estimation des risques d'incohérence liés à l'emploi d'UML pour le développement des systèmes
Introduction `a la qualité logicielle
Maîtrise de la cohérence des modèles UML d'applications critiques. Approche par l'analyse des risques liés au langage UML
Management des risques de fautes de conception liées aux technologies orientées objet pour leur utilisation dans les applications avioniques critiques
Management of UML models consistency for safety critical systems. Approach based on a UMLrisk analysis.
Risk assessment ofinconsistency related to the UML use for the systems development.
Risk management of design faults intrinsic to Object-oriented technologies for their use in critical avionics.
Specyfikacja i projektowanie oprogramowania systemów czasu rzeczywistego
Sûreté de fonctionnement des systèmes informatiques avec exercices corrigés
Systèmes de contrôle dans la théorie des langages et approche par monitoring des modèles pour la sécurité.
Wprowadzenie do problematyki jakości oprogramowania : normy ISO 9000 i programy jakości
Notes: 
Sources: 
VIAF LC NKC NLP NTA NUKAT SUDOC WKP
TEL