Vérification de la Sûreté des Systèmes Hybrides
CHF 61.35
Auf Lager
SKU
HAADJC4I9HJ
Geliefert zwischen Fr., 31.10.2025 und Mo., 03.11.2025
Details
Autorentext
Othman Nasri, docteur en automatique et informatique industrielle depuis fin 2007 (Université de Rennes 1, France). Maître assistant à l'Ecole Nationale d'Ingénieurs de Sousse (ENISo). Chercheur au sein de laboratoire SAGE (Université de Sousse). Il travaille sur la vérification des SDH et l'application des méthodes FDI/FTC aux systèmes complexes.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783838171975
- Herausgeber Presses Académiques Francophones
- Anzahl Seiten 144
- Genre Technologie
- Auflage Aufl.
- Untertitel Calcul d Atteignabilit par Abstractions Linaires
- Autor Othman Nasri
- Größe H220mm x B220mm
- Jahr 2014
- EAN 9783838171975
- Format Kartonierter Einband (Kt)
- ISBN 978-3-8381-7197-5
- Titel Vérification de la Sûreté des Systèmes Hybrides
- Sprache Französisch
Bewertungen
Schreiben Sie eine Bewertung