Using formal methods to specify the functional properties of engineering software
| Autor(en): |
J. W. Baugh
|
|---|---|
| Medium: | Fachartikel |
| Sprache(n): | Englisch |
| Veröffentlicht in: | Computers & Structures, Oktober 1992, n. 3, v. 45 |
| Seite(n): | 557-570 |
| DOI: | 10.1016/0045-7949(92)90440-b |
- Über diese
Datenseite - Reference-ID
10277690 - Veröffentlicht am:
05.01.2019 - Geändert am:
05.01.2019
Structurae kooperiert mit
