Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
Help & FAQ
Home
Researchers
Organisations
Research output
Prizes
Student theses
Activities
Press/Media
Datasets
Equipment
Search by expertise, name or affiliation
Enforcing Concurrent Temporal Behaviors
Doron Peled
, Hongyang Qu
University of Warwick
Research output
:
Contribution to journal
›
Article
›
peer-review
2
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Enforcing Concurrent Temporal Behaviors'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Temporal Behavior
100%
Suspiciousness
100%
Similar Problem
100%
Program Transformation
100%
Concurrent Code
100%
Nondeterminism
100%
Erroneous Behaviors
100%
Computer Science
Temporal Behavior
100%
And-States
100%
Suspicious Behavior
100%
False Negative
100%
Program Transformation
100%
Nondeterminism
100%