Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
Verification of Stochastic Process Calculi
Nataliya Skrypnyuk
Research output
:
Book/Report
›
Ph.D. thesis
384
Downloads (Orbit)
Overview
Fingerprint
Projects
(1)
Fingerprint
Dive into the research topics of 'Verification of Stochastic Process Calculi'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Static Program Analysis
100%
State Space
66%
Postprocessing
33%
Syntactics
33%
Hierarchical Manner
33%
System Behavior
33%
Analysis Technique
33%
Stochastic System
33%
Interdependence
33%
Reachable State
33%
Keyphrases
Static Analysis Method
20%
Non-deterministic
20%
Randomized Protocol
20%
Non-stochastic
20%
Hierarchical Manner
20%
Chained Systems
20%