Specification and Design of Embedded Systems

Embedded Real?Time Systems: A Specification and Design... - Calvez, Jean Paul

Embedded Systems Specification and Design Languages - 9781402082962

Embedded Systems Specification and Design Languages: Selected Contributions from

Specification and Design of Embedded Systems

SPECIFICATION AND DESIGN OF EMBEDDED SYSTEMS -1994- HARDCOVER BOOK

Specification and Design Methodology for Real-Time Embedded Systems, Hardcove...

Languages, Compilers, and Tools for Embedded Systems: ACM SIGPLAN Workshop LCTES