Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
Behavioural Hybrid Process Calculus
Hendrik Brinksma
, T. Krilavicius
Research output
:
Book/Report
›
Report
›
Professional
166
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Behavioural Hybrid Process Calculus'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Calculus
100%
Process Algebra
100%
Modeling
66%
Events
66%
Equivalence Class
33%
Wide Range
33%
Fundamental Concept
33%
Hybrid Dynamical Systems
33%
Nondeterminism
33%
Computer Science
Dynamical System
66%
Fundamental Concept
33%
Concurrent System
33%
System Composition
33%
Switching Event
33%
Equivalence Class
33%
Behavioral Approach
33%
discrete-event system
33%