Modeling and Verification of the RUBIS µ-Kernel with SPIN (1995)

Cached

Download Links

by Gregory Duval , Jacques Julliand
Venue:In Proceedings of the First SPIN Workshop
Citations:9 - 0 self