How to Leave out Details: Error Preserving Abstractions of State-Space Models (1988)

by M Young
Venue:Center for High Assurance Computer Systems