Provably Correct Test Development for Timed Systems.

Jüri Vain Aivo Anier Evelin Halling

Published in: DB&IS (2014)

Keyphrases

provably correct
knowledge based systems
management system
communication technologies
technical issues
historical perspective
neural network
information systems
case study
computer systems
building blocks
learning systems
test data
formal methods
management information systems
safety critical