On the benefits of using dedicated models in validation processes for behavioral specifications.
ICSSP. 2019 S. 44 - 53
Erscheinungsjahr: 2019
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1109/ICSSP.2019.00016
| Geprüft: | Bibliothek |
ICSSP. 2019 S. 44 - 53
Erscheinungsjahr: 2019
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Doi/URN: 10.1109/ICSSP.2019.00016
| Geprüft: | Bibliothek |