Search results for: Mattias Nyberg
Requirements Engineering > 2019 > 24 > 2 > 231-256
Science of Computer Programming > 2017 > 146 > C > 2-27
Formal Methods in System Design > 2018 > 52 > 2 > 147-192
Journal of Computational Science > 2014 > 5 > 3 > 408-414
Mechanical Systems and Signal Processing > 2014 > 45 > 1 > 170-192
Control Engineering Practice > 2013 > 21 > 4 > 455-472
IEEE Transactions on Systems, Man, and Cybernetics: Systems > 2013 > 43 > 6 > 1354 - 1369