Login / Signup
SeaFlows Toolset - Compliance Verification Made Easy.
Linh Thao Ly
David Knuplesch
Stefanie Rinderle-Ma
Kevin Göser
Manfred Reichert
Peter Dadam
Published in:
CAiSE Forum (2010)
Keyphrases
</>
model checking
fingerprint verification
verification method
face verification
test generation
neural network
website
probabilistic model
formal verification
concurrent systems
model driven engineering