Informations importantes : Arrêt du Club R (13 août) et Cessation d'Activité (30 septembre)
En savoir plus.
Se connecter
Aide
88 résultats
Verification And Control Of Hybrid Systems
Voir le produit
Functional Verification Of Dynamically Reconfigurable Fpga-Based Systems
Next Generation Design And Verification Methodologies For Distributed Embedded Control Systems
Compositional Verification Of Concurrent And Real-Time Systems
Validation And Verification Of Knowledge Based Systems
Verification And Validation Of Rule-Based Expert Systems
Reliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And Certification
Interactive Systems. Design, Specification, And Verification
Verification And Validation Of Complex Systems: Human Factors Issues
Simulation And Verification Of Electronic And Biological Systems
Interactive Systems Design, Specification, And Verification
Formal System Verification
Design And Verification Of Microprocessor Systems For High-Assurance Applications
Automatic Verification Methods For Finite State Systems
Critical Systems: Formal Methods And Automated Verification
Design, Specification And Verification Of Interactive Systems '99
Verification And Validation In Systems Engineering
Specification And Verification Of Multi-Agent Systems
Verification Of Reactive Systems
Vérification De La Sûreté Des Systèmes Hybrides
System-On-A-Chip Verification
Specification And Verification Of Concurrent Systems
Taxonomies For The Development And Verification Of Digital Systems
Temporal Verification Of Reactive Systems
Verification Of Digital And Hybrid Systems
System Verification
Systèmes D'injection Diesel Common-Rail Et Pompe - Fonctionnement Des Systèmes D'injection, Vérification Avec Multimètre Et Oscilloscope, Fonctions Additionnelles Et Diagnostic Eobd...
Modeling And Verification Of Real-Time Systems
Hardware Verification With System Verilog
Mobile Agent-Based Anomaly Detection And Verification System For Smart Home Sensor Networks
Formal Specification And Verification Of Digital Systems
Safety Instrumental Systems Verification: Practical Probabilistic Calculation
Reactive Systems - Modelling Specification And Verification
Systèmes Temps Réel 1: Techniques De Description Et De Vérification (Traité Ic2, Série Informatique Et Systèmes D'information)
