Monografie
Verification of Autonomic Actions in Mobile Communication Networks
- Sprache
-
Englisch
- Identifier
-
1138359734
- Thema
-
Hochschulschrift
- Beteiligte Personen und Organisationen
-
Tsvetkov, Tsvetko Ivanchev
Carle, Georg
Stadler, Rolf
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Tsvetkov, Tsvetko Ivanchev
- Carle, Georg
- Stadler, Rolf
Ähnliche Objekte (12)
Advanced autonomic networking and communication
Autonomic communication : first international IFIP workshop ; revised selected papers
Modelling autonomic communication environments : 5th IEEE international workshop ; proceedings
Coordination of autonomic function execution in self-organizing networks
Coordination of autonomic function execution in Self-Organizing Networks
Communication games with optional verification
Communication games with optional verification
Verification of unsupervised neural networks
Verification of Golog Programs over Description Logic Actions
Verification of Golog Programs over Description Logic Actions
Verification of golog programs over description logic actions
Abstraction-based verification of parameterized networks
Advanced autonomic networking and communication
Autonomic communication : first international IFIP workshop ; revised selected papers
Modelling autonomic communication environments : 5th IEEE international workshop ; proceedings
Coordination of autonomic function execution in self-organizing networks
Coordination of autonomic function execution in Self-Organizing Networks
Communication games with optional verification
Communication games with optional verification
Verification of unsupervised neural networks
Verification of Golog Programs over Description Logic Actions
Verification of Golog Programs over Description Logic Actions
Verification of golog programs over description logic actions
Abstraction-based verification of parameterized networks
Advanced autonomic networking and communication
Autonomic communication : first international IFIP workshop ; revised selected papers
Modelling autonomic communication environments : 5th IEEE international workshop ; proceedings
Coordination of autonomic function execution in self-organizing networks
Coordination of autonomic function execution in Self-Organizing Networks
Communication games with optional verification
Communication games with optional verification
Verification of unsupervised neural networks
Verification of Golog Programs over Description Logic Actions
Verification of Golog Programs over Description Logic Actions
Verification of golog programs over description logic actions