Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
Prover Technology (Sweden) | Researchclopedia
Back to institutions
Prover Technology (Sweden)
Stockholm
company
Website
Top Researchers
View all
Recent Research
View all
Petri Nets in System Modeling
Safety Systems Engineering in Autonomy
Logic, programming, and type systems
Real-Time Systems Scheduling
Software Engineering Research
Software Testing and Debugging Techniques
Distributed systems and fault tolerance
Embedded Systems Design Techniques
Radiation Effects in Electronics
Parosh Aziz Abdulla
Uppsala University
415 works
6,799 citations
h-index: 42
LCF 2.0
Per Anders Larsson
,
Olav Bandmann
2021
0 citations