C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Extensible Technology-Agnostic Runtime Verification
Christian Colombo
Adrian Francalanza
Ruth Mizzi
Gordon J. Pace
Published in:
FESCA (2013)
Keyphrases
</>
model checking
object oriented
rapid development
cost effective
data processing
formal verification
neural network
technological advances
general purpose
face recognition
case study
data types
data model
markup language
information systems
signature verification
machine learning