- Citations, last 5 years
- 6
- Works, last 5 years
- 4
- h-index
- 18
- Scientists listed
- 0
- Grants since 2016
- 2
Grants received
2025–2027 · research · Project grant
Model based engineering for rail signaling
Mats Boman · Prover Technology (Sweden) · funded by Svenska Forskningsrådet Formas
2019–2022 · grant · Project grant
Formal verification with AI
Olav Bandmann · Prover Technology (Sweden) · funded by VINNOVA