Hopp til innhold
Hopp til lokal navigasjon
Hopp til global navigasjon
Norges teknisk-naturvitenskapelige universitet
NTNU Norsk
NTNU English
Bibliotek
Alumni
Intranett
Søk i NTNUs nettsider
Søk etter:
Startside
Studier
Student i Trondheim
Forskning
Etter- og videreutdanning
Næringsliv og nyskaping
Om NTNU
Aktuelt
NTNU
»
Om NTNU
»
Fakulteter og institutter
»
IE-fakultetet
»
Institutt for Teknisk Kybernetikk
»
emner
»
Fordypning høsten 2025
»
TTK3 - An introduction to formal verification
Indeks
Dette er en fortegnelse over alle tilgjengelige sider, sortert etter
navnerom
.
ansatte
cics
emner
en
english
about
itdrift
lab
people
research
formerresearchprograms
industrialcomputers
lowcostnav
Sensor Fusion and Collision Avoidance for Autonomous Surface Vehicles (Autosea)
Doctoral degrees completed at the Department of Engineering Cybernetics (1961-1998)
Former research programs
industrialcomputers
Fault-Tolerant Inertial Sensor Fusion for Marine Vessels (MarineINS)
medicalcybernetics
motioncontrol
processcontrol
systembiology
about
contact
hovedside
Department of Engineering Cybernetics
msc_courses
people
phd
research
fag
folk
forskning
hovedprofil
hovedside
itdrift
om
playground
ressurser
studieinformasjon
test
utdanning
wiki
Vision SUP CICS
emner
english
folk
Nettsiden er flyttet
NøkkelInformasjon ang IT ved Instituttet:
kontakt
Leiested ved Institutt for teknisk kybernetikk
Institutt for teknisk kybernetikk
om
Elektro- og mekanisk verksted informerer
studieinformasjon
test
utdanning
Institutt for teknisk kybernetikk
Startsiden
Studier
Forskning
Ansatte
Kontakt
Ledige stillinger
Kybernetikken i media
Om instituttet
Ledelse
Historie
2018/04/26 11:16, sverrehe
Powered by
DokuWiki
+
NTNU template
and
jQuery
"Fugue" icon set by
Yusuke Kamiyamane
,
CC-BY 3.0
Logg inn