Formal model for SDL specifications based on Timed Rewriting Logic (2000)
Author(s): Steggles LJ, Kosiuczenko P
- Journal: Automated Software Engineering
- Volume: 7
- Issue: 1
- Pages: 61-90
- Publisher: Springer
- Publication type: Article
- Bibliographic status: Published