Jump to main content
UiO
The Faculty of Mathematics and Natural Sciences
Department of Informatics
No
En
Menu
For employees
My studies
Search our webpages
Search
Home
Research
Studies
Student life
Services and tools
About the department
People
Go to uio.no
Sub menu
Research
Research projects
CPS Lab
Activities in CPS Lab
Spaces
Research
>
Research projects
>
CPS Lab
>
Activities in CPS Lab
Activities in CPS lab
Workshops
Tutorial Week on using Isabelle
for Provably Safe IoT in week 21 from 20-24 May 2019
Industrial Modeling of IoT workshop
on 16 May 2019
Spring meeting in Gemini Centre
on IoT on 15 May 2019
Published
Mar. 14, 2017 7:27 PM
-
Last modified
Apr. 17, 2019 2:04 PM
E-mail this page
Share on Facebook
Share on Twitter