The book Towards Verified Systems, edited by Jonathan Bowen, is available as volume 2 in the book series on Real-Time Safety Critical Systems (Series Editor: Hussein Zedan) published by Elsevier Science B.V. It documents the main results of the safemos project.
The table of contents, foreword, preface and contact addresses are available online.
Click on a date/time to view the file as it appeared at that time.
|current||18:31, September 24, 2011|| (156 KB)||Jpbowen (Talk | contribs)|
Ad blocker interference detected!
Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers
Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.