Skip to main navigation
Skip to search
Skip to main content
University of Hertfordshire (Research Profiles) Home
Home
Researchers
Research output
Projects
Research units
Search by expertise, name or affiliation
A CCS case study: a safety-critical system
J. Baillie
Centre for Computer Science and Informatics Research
Research output
:
Book/Report
›
Other report
68
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A CCS case study: a safety-critical system'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Safety Requirements
100%
Safety-critical Systems
100%
Calculus
50%
Bisimulation
50%
Single System
50%
Temporal Logic Specification
50%
Control System
50%
Level Crossing
50%
Computer Science
Temporal Logic
100%
Safety Critical Systems
100%
Case Study
100%