Composing real-time applications from communicating black-box components.

Martin Becker Alejandro Masrur Samarjit Chakraborty

Published in: ASP-DAC (2015)

Keyphrases

black box
real time
black boxes
white box
state transition
integration testing
white box testing
control system
low cost
test cases
hybrid systems
artificial intelligence
rough sets