-
MS
-
Testbereich
-
Allkanjari
Publikationen2
Proceedings Zhou Z., He M., Kellerer W., Blenk A., Foerster K.-T.: P4Update: fast and locally verifiable consistent network updates in the P4 data plane. In: ACM CoNEXT 2021: 175-190. doi.org/10.1145/3485983 [...] Publishers, 4(2004) pp. 1-2. P. Herrmann, H. Krumm: Trust-Based Monitoring of Component-Structured Software In: Praxis der Informationsverarbeitung und Kommunikation (PIK), K.G. Saur Verlag, 27(2004)4, S. 237-245 [...] ISSN 1612-1376, 2003. G. Rothmaier, H. Krumm: cTLA 2003 Description URL: ls4-www.cs.tu-dortmund.de/RVS/MA/hk/framework.html . LS4, FB Informatik, Universität Dortmund, Technical Report, 2003 Tutorials P …