
Formal Techniques for Distributed Systems
Holger Giese, Grigore Rosu
₹5,579

International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected
by Holger Giese, Gabor Karsai, Edward A. Lee
Free delivery. Nothing extra to pay at checkout.
Thetopicof"Model-BasedEngineeringofReal-TimeEmbeddedSystems"brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration.
Description supplied by the publisher.