Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Automated quantitative software verification with PRISM
Kwiatkowska, Marta
(Principal Investigator)
Computer Science
Overview
Fingerprint
Research output
(4)
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Fibroblasts
100%
Growth Factors
86%
Pathway
73%
Probabilistic Model
70%
Model Checking
69%
Power Management
60%
Security Protocols
49%
Signaling Pathways
47%
Formal Verification
44%
Communication Protocol
44%
Distributed Algorithms
41%
Biological Systems
35%
Complex Systems
31%
Experimental Results
30%
Scenarios
28%
Range of data
18%
Model
10%
Engineering & Materials Science
Intercellular Signaling Peptides and Proteins
93%
Fibroblasts
89%
Model checking
65%
Statistical Models
55%
Formal verification
35%
Biological systems
35%
Power management
33%
Parallel algorithms
28%
Network protocols
20%