Skip to main navigation
Skip to search
Skip to main content
Tilburg University Research Portal Home
Help & FAQ
Home
Profiles
Research output
Research units
Activities
Projects
Press/Media
Prizes
Datasets
Search by expertise, name or affiliation
Quantitative Verification in Practice
Boudewijn R.H.M. Haverkort
, Joost-Pieter Katoen, Kim G. Larsen
Research output
:
Other contribution
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Quantitative Verification in Practice'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Case Study
100%
Continuous Time
100%
Potential Application
100%
Model Checking
100%
Data Structure
100%
Industrial Case
100%
Software Development Tool
100%
Application Area
100%
Embedded System Design
100%
Critical Software
100%
Discrete Probability
100%
High Performance Computing
100%
Hardware Security
100%
Schedulability Analysis
100%
Industrial System
100%
Keyphrases
Quantitative Verification
100%
Non-specialist
33%
Continuous-time
33%
System Design
33%
Design Process
33%
Verification Tool
33%
Automated Verification
33%
Verification Method
33%
Cable
33%
Systems Aspects
33%
Systems Biology
33%
Industrial Case Study
33%
Cost Constraint
33%
Embedded System Design
33%
Discrete-continuous
33%
Schedulability Analysis
33%
Advanced Computing
33%
Software Safety
33%
Discrete Probability
33%
Hardware Security
33%
Industrial Systems
33%
Compute Engine
33%