DMCA

Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems ∗

by Unknown Authors