Title: Global specification and validation of embedded systems
Subjects: Heterogeneous computing, Embedded computer systems, Validation, Computer programs, Computer programs, validation, High performance computing, Operating systems (Computers)