Skip to main navigation
Skip to search
Skip to main content
Bar-Ilan University Home
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
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
Mathematics
Concurrent
100%
Scenarios
54%
Program Transformation
43%
Nondeterminism
36%
Abstraction
32%
Scheduling
30%
False
29%
Reverse
29%
Software
27%
Specification
26%
Counterexample
25%
Minimise
23%
Testing
21%
Imply
19%
Demonstrate
18%
Engineering & Materials Science
Scheduling
61%
Specifications
58%
Testing
46%