Skip to content

GSD

Sections
Personal tools
You are here: Home » Teaching » Distributed Computing » DC - Distributed Computing (2007 - 2008) » Papers » Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study

Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study

Document Actions

The link address is: http://groups.csail.mit.edu/tds/papers/Umeno/UL_FM06.pdf

Created by jop
Last modified 2007-11-27 11:00 AM
« March 2015 »
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        
 
 
Powered by Plone

This site conforms to the following standards: