Bouali Mohamed (19 results)

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. In.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. In.

Paperback. Condition: Brand New. 84 pages. French language. 8.66x5.91x0.19 inches. In Stock.

Condition: New.

Condition: New.

Condition: New.

Taschenbuch. Condition: Neu. Diagnostic de systèmes complexes: accessibilité arrière | Contributions à l''analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec l''accessibilité arrière | Mohamed Bouali | Taschenbuch | 164 S. | Französisch | 2011 | Éditions universitaires européennes | EAN 9786131564819 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.…

PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 164 pp. Französisch.…

Condition: New. Print on Demand pp. 100 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.

Condition: New. Print on Demand pp. 100.

Condition: New. PRINT ON DEMAND pp. 100.

Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 164 pp. Französisch.…

PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.