MobileMaude
A prototype of a Mobile Maude system, written by Carolyn Talcott, it is very similar to the Tube.See Methods of Migration.
- Mobile Maude.
- Interactive Maude.
- The InterOperability Platform Homepage.
- Composable Formal Models for High-Assurance Fault Tolerant Networks.
- Carolyn L. Talcott.
This page is linked from: Sand Box