Formal modeling and analysis of complex software
Gespeichert in:
Veröffentlicht in: | Journal of King Saud University. Computer and information sciences 2020-05, Vol.32 (4), p.385-386 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | |
---|---|
ISSN: | 1319-1578 2213-1248 |
DOI: | 10.1016/j.jksuci.2020.04.021 |