A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems, Fachbücher

A Problem-oriented Approach For Dynamic Verification Of Heterogeneous

Verification of Object-Oriented Software. The KeY Approach, Fachbücher

Design Technology for Heterogeneous Embedded Systems, Fachbücher von Ian O'Connor, Gabriela Nicolescu

Embedded Systems: Design, Analysis and Verification, Fachbücher

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, Fachbücher

Heterogeneous Multicore Processor Technologies For Embedded Systems

A Goal-oriented Approach for the Development of Web Applications, Fachbücher

Verification of Temporal Properties in Embedded Software, Fachbücher

Functional Verification of Programmable Embedded Architectures, Fachbücher

Francisco Mendoza Cervantes | A Problem-oriented Approach For

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems, Fachbücher von Francky C...

Heterogeneous Memory Organizations In Embedded Systems Placement Of

A Goal-Oriented Approach to Forest Landscape Restoration, Fachbücher

A Design Approach for Service-Oriented Product Lines, Fachbücher

Evaluation of Virtualization Technologies for Embedded Systems, Fachbücher