Contains some lectures given in Spring 1986 at ETH Zrich in the framework of an Advanced Course on New Approaches to the Architecture and the Design of Embedded Systems. The lectures concentrate on description and design methods based on formal models, as applied to the development of computer based systems. Both hardware and software are treated. Special emphasis in the presentation of the theoretical basis is given to functional formalisms and Petri Nets.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want