Sortiert nach
Journal of intelligent & robotic systems, 2021-07, Vol.102 (3), Article 59
2021
Link zum Volltext
IEEE access, 2021, Vol.9, p.136616-136635
2021
Link zum Volltext
IEEE intelligent systems, 2022-11, Vol.37 (6), p.1-10
2022
Link zum Volltext
Robotics and autonomous systems, 2023-05, Vol.163, p.104387, Article 104387
2023
Link zum Volltext
Formal Methods Teaching, 2021, Vol.13122, p.75-83
2021
Link zum Volltext
Software and systems modeling, 2024-04, Vol.23 (2), p.473-502
2024
Link zum Volltext
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2020, p.1907-1914
2020
- Link zum Volltext
Electronic proceedings in theoretical computer science, 2020, Vol.319, p.9-17
2020
Link zum Volltext
Software Engineering and Formal Methods, 2020, Vol.12310, p.303-324
2020
Link zum Volltext
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024, p.122-126
2024
Link zum Volltext
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024, p.122-126
2024
Link zum Volltext
2023 IEEE 31st International Requirements Engineering Conference Workshops (REW), 2023, p.309-315
2023
Link zum Volltext
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C), 2023, p.86-90
2023
Link zum Volltext
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023, p.18-28
2023
- Link zum Volltext
2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, p.80-90
2022
- Link zum Volltext
2020 IEEE International Conference on Human-Machine Systems (ICHMS), 2020, p.1-6
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Service Robots
- Computer Science, Theory & Methods
- Robots
- Statistical Model Checking
- Engineering
- Human-Robot Interaction
- Robotics
- Computer Science, Artificial Intelligence
- Engineering, Electrical & Electronic
- Human-Machine Teaming
- Medical Services
- Model Checking
- Behavioral Sciences
- Collaboration
- Computer Science, Cybernetics
- Computer Science, Information Systems
Kollektion
Zeitschrift / Serie
Neu hinzugefügt