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
« July 2014 »
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: