Fandom

Formal Methods Wiki

Safemos-book.pdf

120pages on
this wiki
Add New Page
Talk0
Safemos-book.pdf(file size: 156 KB, MIME type: application/pdf)
Tvs-book-cover

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.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current18: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.