Run-time requirements verification for reconfigurable systems.

George Chatzikonstantinou Kostas Kontogiannis

Published in: Inf. Softw. Technol. (2016)

Keyphrases

real time systems
low cost
distributed systems
model checking
knowledge based systems
business processes
hardware implementation
formal methods
artificial intelligence
knowledge base
digital libraries
general purpose
application specific
computing systems
data management systems