Login / Signup
Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.
George S. Avrunin
Ugo A. Buy
James C. Corbett
Laura K. Dillon
Jack C. Wileden
Published in:
IEEE Trans. Software Eng. (1991)
Keyphrases
</>
automated analysis
concurrent systems
temporal logic
automated detection
distributed systems
biomedical imaging
process algebra
transition systems
petri net
formal specification
visual analysis
model checking
databases
video analysis
data mining
cell nuclei
expert systems
information retrieval
dermoscopy images