Toward Dependable Safety-Critical Software (1996)

Cached

Download Links

by Farokh Bastani , Farokh Bastani Bojan Cukic
Venue:2 nd IEEE Workshop on Object-Oriented Real-Time Dependable Systems
Citations:5 - 1 self