Sortiert nach
IEEE transactions on industrial informatics, 2022-03, Vol.18 (3), p.1781-1789
2022
Volltextzugriff (PDF)
IEEE sensors journal, 2022-06, Vol.22 (11), p.11173-11183
2022
Volltextzugriff (PDF)
IEEE journal of oceanic engineering, 2018-04, Vol.43 (2), p.468-483
2018
Volltextzugriff (PDF)
Ships and offshore structures, 2021-08, Vol.16 (S1), p.58-67
2021
Volltextzugriff (PDF)
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, p.173-188
Volltextzugriff (PDF)
IEEE robotics & automation magazine, 2015-12, Vol.22 (4), p.96-109
2015
Volltextzugriff (PDF)
Journal of marine science and technology, 2018-12, Vol.23 (4), p.754-766
2018
Volltextzugriff (PDF)
IEEE journal of oceanic engineering, 2016-04, Vol.41 (2), p.450-461
2016
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Practice, p.110-125
Volltextzugriff (PDF)
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, p.189-203
Volltextzugriff (PDF)
2024 IEEE 4th International Conference on Human-Machine Systems (ICHMS), 2024, p.1-6
2024
Volltextzugriff (PDF)
OCEANS 2016 - Shanghai, 2016, p.1-6
2016
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Engineering
- Co-Simulation
- Physical Sciences
- Computer Science
- Computer Simulation
- Cranes
- Data Models
- Engineering, Civil
- Engineering, Electrical & Electronic
- Marine Vehicles
- Offshore Engineering
- Ships
- Simulation
- Artificial Intelligence
- Automation & Control Systems
- Computational Modeling
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
Kollektion
Zeitschrift / Serie
Neu hinzugefügt