@dblp

A development method for trusted real-time kernels.

. University of York, UK, (1998)British Library, EThOS.

Links and resources

BibTeX key:
phd/ethos/Fowler98
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication