Sök personal
Sök bland våra professorer, lärare och övriga medarbetare
Personal vid Högskolan
Wojciech Mostowski
Universitetslektor
( Akademin för informationsteknologi )
Senaste publikationer
-
From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java
(2020)
Kapitel i bok, del av antologi
-
Design and Development of a Hexacopter for the Search and Rescue of a Lost Drone
(2019)
Konferensbidrag
-
Model-based fault injection for testing gray-box systems
(2019) published
Artikel i tidskrift
-
VerifyThis – Verification Competition with a Human Factor
(2019) published
Artikel i tidskrift
-
Model Learning and Model-Based Testing
(2018)
Konferensbidrag