Contact
Hoe winkelen bij ons werkt
Bezorging
Winkelgids
Frans
127 b
Retourneren binnen 30 dagen
Klanten kochten ook
/
Gebonden (paperback)
23.89
€
/
Gebonden (paperback)
23.08
€
/
Gebonden (paperback)
30.17
€
/
Gebonden (harde band)
38.27
€
/
Gebonden (paperback)
12.75
€
Le développement rapide des systčmes embarqués et les exigences croissantes auxquelles ils sont soumis créent un besoin de techniques innovantes en terme de conception et de V&V. Les méthodes formelles fournissent des approches intéressantes ŕ la conception de ces systčmes. Le formalisme choisi dans ce travail est basé sur les Réseaux de Petri Colorés (RdPC). L'avantage de ces modčles, en plus d'ętre trčs expressifs et formels, est qu'ils permettent d'exprimer le double caractčre des systčmes étudiés: statique et dynamique. Le défi relevé par cette thčse est d'utiliser des modčles établis, décrivant l'architecture et/ou le comportement de systčmes, pour en extraire des informations de SdF et de diagnostic de défaillances.L'approche proposée est une analyse structurelle par accessibilité arričre. Elle peut ętre décomposée en deux parties. La premičre consiste en la proposition d'un outil pour réaliser cette analyse: le RdPC inverse. Il est obtenu par l'application de transformations structurelles sur le RdPC original. La seconde partie est la mise en oeuvre de l'analyse. Cette partie requiert des mécanismes complémentaires dont le plus important est l'enrichissement du marquage.
Informatie over het boek
Frans
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvangerDit vind je misschien ook interessant
/
Gebonden (harde band)
167.71
€
/
Gebonden (paperback)
25.61
€
/
Gebonden (paperback)
55.19
€
Hoi! Ik ben Libroamiko, je boekadviseur.
Hoe kan ik je helpen?