Web Directory
 

Translating Formal Specifications of Transfer-Protocols to Ada95

  Link Details for: Translating Formal Specifications of Transfer-Protocols to Ada95
Link Title: Translating Formal Specifications of Transfer-Protocols to Ada95 Open in a new window
Link URL: http://www.exp-math.uni-essen.de/~ajung/fdl-pres/
Link Details: Ada95 and Formal Specifications in cTLA+.
Category: Top : Computers : Programming : Languages : Ada
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Translating Formal Specifications of Transfer-Protocols to Ada95