Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen... - Autor(en)
- Gros, Timo P.
- Artikel
- Deep Statistical Model Checking
- Titel
- Formal Techniques for Distributed Objects, Components, and Systems 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings /
- Verlag
- Springer International Publishing :
- Ort
- Cham :
- Erscheinungsjahr
- 2020.
Es wurden folgende elektronische Volltexte gefunden