Diagnostic de systèmes complexes: accessibilité arrière: Contributions à l'analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec ... arrière (Omn.Univ.Europ.) (French Edition)
Mohamed Bouali explore le diagnostic des systèmes complexes en s’appuyant sur l’accessibilité arrière et les réseaux de Petri colorés. Cette étude présente des contributions à l’analyse formelle et s’adresse aux lecteurs intéressés par la modélisation, la vérification et le diagnostic des systèmes.
About This Book
Cet ouvrage traite du diagnostic de systèmes complexes à travers l’étude de l’accessibilité arrière.
Il présente des contributions à l’analyse formelle et au diagnostic à partir de réseaux de Petri colorés.
Destiné aux lecteurs intéressés par les méthodes formelles, la modélisation des systèmes et les approches de diagnostic.
Reviews
No reviews yet. Be the first to review this book!