2022-06-23 13:15 |
|
2022-06-22 11:26 |
|
2022-06-22 10:38 |
-
Configurable Benchmarks for C Model Checkers
Fink, X. ; Berger, P. ; Katoen, J.-P.
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings / edited by Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez, Seiten/Artikel-Nr: 338-354
DOI: 10.1007/978-3-031-06773-0_18
Contribution to a book/Contribution to a conference proceedings
2022
|
2022-06-22 08:18 |
|
2022-06-22 08:15 |
|
2022-06-21 10:57 |
-
A Framework for the Classification of Human-Robot Interactions Within the Internet of Production
Baier, R. O. (Corresponding author) ; Dammers, H. (Corresponding author) ; Mertens, A. ; Behery, M. ; ; et al
Human-Computer Interaction. Technological Innovation : Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II / edited by Masaaki Kurosu, Seiten/Artikel-Nr: 427-454
DOI: 10.1007/978-3-031-05409-9_33
Contribution to a book
2022
|
2022-06-21 09:26 |
|
2022-06-20 18:26 |
|
2022-06-20 09:29 |
-
A Conceptual Model for Digital Shadows in Industry and Its Application
Becker, F. ; Bibow, P. ; Dalibor, M. ; Gannouni, A. ; ; et al
Conceptual Modeling : 40th International Conference, ER 2021, Virtual Event, October 18–21, 2021, Proceedings / Aditya Ghose, Jennifer Horkoff, Vítor E. Silva Souza, Jeffrey Parsons, Joerg Evermann, Seiten/Artikel-Nr: 271-281
DOI: 10.1007/978-3-030-89022-3_22
Contribution to a book/Contribution to a conference proceedings
2021
|
2022-06-17 12:15 |
|
|
|