C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Detecting Deadlocks in Formal System Models with Condition Synchronization.
Eduard Kamburjan
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)
Keyphrases
</>
probabilistic model
computer vision
complex systems
experimental data
statistical models
database
databases
real world
machine learning
prior knowledge
software engineering
statistical model
automatic detection
mathematical models
static analysis
exchange information