Recherche avancée
Affichage des résultats 291 à 300 sur 880 au total
-
Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants
-
Assistance à l'élaboration de gammes d'assemblage innovantes de structures composites
-
Construction de modèles formels de contrôleurs logiques pour le test de conformité
-
Comparing detailed and abstract timed models of automated discrete manufacturing systems
-
A Discrete Event Model for Multiple Inhabitants Location Tracking
-
The AltaRica 3.0 Project for Model-Based Safety Assessment
-
AN ANALYTIC EXPRESSION OF THE RELIABILITY OF TRANSMISSIONS IN FIELDBUSES WITH PROPAGATED FAILURES
-
Preliminary System Safety Analysis with Limited Markov Chain Generation
-
Towards an unified definition of Minimal Cut Sequences
-
BAYESIAN STRUCTURAL SOURCE IDENTIFICATION USING GENERALIZED GAUSSIAN PRIORS