model-driven systems engineering
logical design, physical design and implementation of embedded computer systems
Reachability analysis, verification and abstraction of hybrid systems
embedded computer control systems and applications
supervision and testing
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Chalmers, Computer Science and Engineering (Chalmers), Functional Programming
Volvo Cars
Chalmers, Electrical Engineering, Systems and control, Automation
Chalmers, Electrical Engineering, Systems and control, Automation
Chalmers, Electrical Engineering, Systems and control, Automation
24058963 (eISSN)
Vol. 51 7 408-415VINNOVA, 2016-01-01 -- 2019-12-31.
Swedish Research Council (VR), 2017-01-01 -- 2022-12-31.
Control Engineering
Computer Science
Computer Systems
10.1016/j.ifacol.2018.06.333