Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
maritime autonomous systems (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(2/108)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Formal verification of COLREG-Based Navigation of maritime autonomous systems
Shokri-Manninen, Fatima
;
Vain, Jüri
;
Walden, Marina
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020 : Proceedings
2020
/
p. 41-59
https://doi.org/10.1007/978-3-030-58768-0_3
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
106
1.
maritime autonomous systems
2.
Autonomous Maritime Surveillance System (AMSS)
3.
autonomous systems
4.
autonomous weapons systems
5.
autonomous-semiautonomous mechanical physical systems
6.
Intelligent and autonomous systems
7.
autonomous
8.
autonomous agents
9.
autonomous and controlled motivation
10.
autonomous automobiles
11.
autonomous buses
12.
autonomous codification
13.
autonomous driving
14.
Autonomous Identification System (AIS)
15.
autonomous mobile robot
16.
autonomous mobile robots
17.
autonomous motivation
18.
autonomous navigation
19.
autonomous parking system
20.
autonomous profiler
21.
autonomous robotics
22.
autonomous robots
23.
autonomous ship
24.
autonomous shipping
25.
autonomous ships
26.
autonomous shuttle
27.
autonomous shuttle bus
28.
autonomous shuttle vehicle
29.
autonomous surface vessel
30.
autonomous surface vessels
31.
autonomous transport
32.
autonomous underwater vehicle
33.
autonomous underwater vehicle (AUV)
34.
autonomous underwater vehicles
35.
autonomous weapons
36.
autonomous vehicle
37.
autonomous vehicle (AV)
38.
autonomous vehicle acceptance
39.
autonomous vehicle cyber range
40.
autonomous vehicle framework
41.
autonomous vehicle navigation
42.
autonomous vehicle shuttles
43.
autonomous vehicles
44.
autonomous vessel
45.
autonomous voltage inverter
46.
decentralized autonomous organization
47.
decentralized autonomous organizations
48.
electric-autonomous minibuses
49.
Estonian maritime cluster
50.
Estonian maritime defence
51.
European Maritime Safety Agency
52.
Global Maritime Distress and Safety system (GMDSS)
53.
higher maritime education institutions
54.
International Maritime Organization (IMO)
55.
learning adaptation in autonomous vehicles
56.
maritime
57.
maritime accidents
58.
maritime activities
59.
maritime affairs
60.
Maritime automation
61.
Maritime cluster
62.
maritime clusters
63.
maritime connectivity
64.
maritime cybersecurity
65.
maritime cybersecurity certification teaching
66.
maritime decarbonization
67.
maritime defence
68.
Maritime digital transformation
69.
maritime economy
70.
Maritime education
71.
maritime education and training
72.
maritime education concept
73.
maritime energy contract
74.
maritime environment
75.
maritime fleet management
76.
maritime higher education and training (MHET)
77.
maritime industries
78.
maritime industry
79.
maritime infrastructure
80.
maritime innovation management
81.
maritime investment theory
82.
maritime investments
83.
maritime logistic
84.
maritime logistics
85.
maritime mindset
86.
maritime navigation safety
87.
maritime occupational health
88.
maritime occupational health and safety
89.
maritime policy
90.
maritime pollution
91.
maritime port management
92.
maritime safety
93.
maritime sector
94.
maritime situation awareness
95.
maritime solutions
96.
maritime spatial planning
97.
maritime transition
98.
maritime transport
99.
maritime transportation
100.
national maritime defence
101.
proactive and autonomous computing
102.
Satellite Autonomous Identification System (SAIS)
103.
semi-autonomous robots
104.
smart autonomous devices
105.
The Global Maritime Professional
106.
unmanned autonomous vehicles
märksõna
2
1.
Federal Maritime and Hydrographic Agency (BSH)
2.
International Maritime Organization
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT