Introduction to the special session on formal verification of telecommunications systems

Bibliographische Detailangaben

Hauptverfasser:	Kapus, T., Jezic, G.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Communication industry Computer science Formal specifications Formal verification Mobile radio mobility management Protocols Special issues and sections System testing Telecommunication computing Unified modeling language
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!