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
« December 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: