Conference
A separation principle for embedded system interfacing
Authors
Patcas LM; Lawford M; Maibaum T
Pagination
pp. 373-388
Publisher
Springer
Publication Date
January 1, 2014
Conference proceedings
International Conference on Integrated Formal Methods