Formal modeling and analysis of complex software

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