A mini grand challenge: build a verifiable filesystem
Verified Software: Theories, Tools, Experiments ; 2005 ; Zurich, Switzerland
2005-10-01
Aufsatz (Konferenz)
Keine Angabe
Englisch
British Library Conference Proceedings | 2007
|British Library Conference Proceedings | 2009
|Hard drive: Mini JCW Challenge
Kraftfahrwesen | 2017
|Urban Air Mobility: Grand Challenge
NTRS | 2020
|Melbourne: The Grand Prix challenge
British Library Online Contents | 1996