106,99 €*
Versandkostenfrei per Post / DHL
Aktuell nicht verfügbar
Describes a mathematically rigorous, model-driven approach for designing embedded / automation systems using IEC 61499
Demonstrates how correct-by-construction code can be automatically derived from IEC 61499 models
Provides a methodology for static timing analysis and model checking of IEC61499 specifications
Provides a pedagogical introduction to formal methods in embedded systems for non-experts and industrial practitioners
Includes supplementary material: [...]
Erscheinungsjahr: | 2016 |
---|---|
Fachbereich: | Nachrichtentechnik |
Genre: | Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Seiten: | 212 |
Inhalt: |
xviii
194 S. 69 s/w Illustr. 66 farbige Illustr. 194 p. 135 illus. 66 illus. in color. |
ISBN-13: | 9783319349039 |
ISBN-10: | 3319349031 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: |
Yoong, Li Hsien
Kuo, Matthew M. Y. Bhatti, Zeeshan E. Roop, Partha S. |
Auflage: | Softcover reprint of the original 1st ed. 2015 |
Hersteller: | Springer International Publishing |
Maße: | 235 x 155 x 11 mm |
Von/Mit: | Li Hsien Yoong (u. a.) |
Erscheinungsdatum: | 10.09.2016 |
Gewicht: | 0,368 kg |
Describes a mathematically rigorous, model-driven approach for designing embedded / automation systems using IEC 61499
Demonstrates how correct-by-construction code can be automatically derived from IEC 61499 models
Provides a methodology for static timing analysis and model checking of IEC61499 specifications
Provides a pedagogical introduction to formal methods in embedded systems for non-experts and industrial practitioners
Includes supplementary material: [...]
Erscheinungsjahr: | 2016 |
---|---|
Fachbereich: | Nachrichtentechnik |
Genre: | Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Seiten: | 212 |
Inhalt: |
xviii
194 S. 69 s/w Illustr. 66 farbige Illustr. 194 p. 135 illus. 66 illus. in color. |
ISBN-13: | 9783319349039 |
ISBN-10: | 3319349031 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: |
Yoong, Li Hsien
Kuo, Matthew M. Y. Bhatti, Zeeshan E. Roop, Partha S. |
Auflage: | Softcover reprint of the original 1st ed. 2015 |
Hersteller: | Springer International Publishing |
Maße: | 235 x 155 x 11 mm |
Von/Mit: | Li Hsien Yoong (u. a.) |
Erscheinungsdatum: | 10.09.2016 |
Gewicht: | 0,368 kg |