Composability for fail-safe safety-critical systems / von Stefan Resch. 2014
Inhalt