Back to Search
Start Over
Formal specification methods for reactive systems
- Source :
- The Journal of Systems and Software. May, 1993, Vol. v21 Issue n2, p129, 11 p.
- Publication Year :
- 1993
Details
- ISSN :
- 01641212
- Volume :
- v21
- Issue :
- n2
- Database :
- Gale General OneFile
- Journal :
- The Journal of Systems and Software
- Publication Type :
- Academic Journal
- Accession number :
- edsgcl.14026253