Real-Time Software Development with Formal Models
Auteur(s): |
John W. Baugh
Wael M. Elseaidy |
---|---|
Médium: | article de revue |
Langue(s): | anglais |
Publié dans: | Journal of Computing in Civil Engineering, janvier 1995, n. 1, v. 9 |
Page(s): | 73-86 |
DOI: | 10.1061/(asce)0887-3801(1995)9:1(73) |
- Informations
sur cette fiche - Reference-ID
10258764 - Publié(e) le:
29.12.2018 - Modifié(e) le:
29.12.2018