Current Research Information SysTem In Norway
 
 

 Norsk versjon


 
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
 
 
   
Back to search     Short format     Full format    
Export to


Showing results 1-3 of 3

2018
1 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
An Analysis Tool for Models of Virtualized Systems. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 p. -
UiO Untitled
 
2 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
Checking Modal Contracts for Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 11187 LNCS. p. 252-272
UiO Untitled
 
3 Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate; Tveito, Lars.
Resource-Aware Virtually Timed Ambients. Lecture Notes in Computer Science (LNCS) 2018 ;Volume 11023. p. 194-213
UiO Untitled