Model-based Testing and Verification of Dependable Systems.

Published in: Softwaretechnik-Trends (2009)

Keyphrases

distributed systems
machine learning
artificial intelligence
database systems
relational databases
low level
computer systems