[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

work on translating UML into PVS



Hi:
   I read a NASA's document "NASA Langley's Research and 
Technology-Transfer Program in Formal Methods" which mentioned that
NASA has sponsored Odyssey Research Associates on this work,
but i can't access ORA's website: http://www.oracorp.com. I don't 
know why. Are there any one could help me to get any information
about that work?
   Thanks!

Mingzhi