×

Found 6 Documents (Results 1–6)

Beyond the verification approach: the synthesis approach. (English) Zbl 1123.68067

Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 197-218 (2007).
MSC:  68Q60 68N30
PDFBibTeX XMLCite

Filter Results by …

Document Type

Year of Publication

Main Field