C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.
Vlad Rusu
Hervé Marchand
Thierry Jéron
Published in:
FM (2005)
Keyphrases
</>
reactive systems
test cases
petri net
database
temporal logic
databases
data mining
user interface