Sortiert nach
IEEE transactions on industrial informatics, 2022-03, Vol.18 (3), p.1781-1789
2022
- Link zum Volltext
IEEE sensors journal, 2021-12, Vol.21 (23), p.27124-27135
2021
- Link zum Volltext
IEEE sensors journal, 2022-06, Vol.22 (11), p.11173-11183
2022
- Link zum Volltext
IEEE robotics & automation magazine, 2023-09, Vol.30 (3), p.2-15
2023
- Link zum Volltext
IEEE journal of oceanic engineering, 2018-04, Vol.43 (2), p.468-483
2018
- Link zum Volltext
Ships and offshore structures, 2021-08, Vol.16 (S1), p.58-67
2021
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, p.173-188
Link zum Volltext
IEEE robotics & automation magazine, 2015-12, Vol.22 (4), p.96-109
2015
- Link zum Volltext
IEEE journal of oceanic engineering, 2016-04, Vol.41 (2), p.450-461
2016
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation. Practice, p.110-125
Link zum Volltext
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, p.189-203
Link zum Volltext
OCEANS 2015 - Genova, 2015, p.1-4
2015
Link zum Volltext
OCEANS 2016 - Shanghai, 2016, p.1-6
2016
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Engineering
- Physical Sciences
- Engineering, Electrical & Electronic
- Marine Vehicles
- Co-Simulation
- Computational Modeling
- Cranes
- Data Models
- Automation & Control Systems
- Computer Science
- Computer Simulation
- Mathematical Models
- Oceanography
- Predictive Models
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Engineering, Civil
- Engineering, Marine
Kollektion