9 results
-
-
Fagartikkel Automatisering i framtidens arbeidsliv - hva kan Forsvaret lære av kompetansereisen til sivile virksomheter, som er langt fremme innen digitalisering og automatisering?
-
Rapporter Automatisering i fremtidens arbeidsliv - hva sier forskningen?
-
Articles Challenges for Risk and Security Modelling in Enterprise Architecture
Grov, Gudmund; Mancini, Federico; Mestl, Elsie Margrethe. Challenges for Risk and Security Modelling in Enterprise Architecture. Lecture Notes in Business Information Processing 2019 ;Volum 369. s. 215-225
-
Rapporter Kan resonnering rundt sikkerhetsarkitektur automatiseres? – en studie i sikkerhetsattributter og automatisk resonnering
-
Articles Automating Event-B invariant proofs by rippling and proof patching
Lin, Yuhui; Bundy, Alan; Grov, Gudmund; Maclean, Ewen. Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects of Computing 2019 s. 1-35
-
Rapporter Teknologiske muligheter for Tolletaten – sensorteknologi og maskinlæring for automatisering av postmottak
-
Rapporter Teknologiske muligheter for Tolletaten – breddestudie
-
Rapporter Automatisk værstasjon