Sign in

A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics.

Gregory M. Provan
Published in: SEFM Workshops (2014)
Keyphrases