Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /
This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers. This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools. To support thi...
Κύριοι συγγραφείς: | Moutinho, Filipe de Carvalho (Συγγραφέας), Santos Gomes, Luís Filipe (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Έκδοση: | 1st ed. 2016. |
Σειρά: | SpringerBriefs in Electrical and Computer Engineering,
150 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Smart Multicore Embedded Systems
Έκδοση: (2014) -
Embedded Software Verification and Debugging
Έκδοση: (2017) -
Embedded Systems Design with FPGAs
Έκδοση: (2013) -
Embedded Systems Design for High-Speed Data Acquisition and Control
ανά: Di Paolo Emilio, Maurizio
Έκδοση: (2015) -
Introduction to Embedded Systems Using Microcontrollers and the MSP430 /
ανά: Jiménez, Manuel, κ.ά.
Έκδοση: (2014)