Design and timed verification of self-adaptive systems.

Marwa Hachicha Riadh Ben Halima Ahmed Hadj Kacem

Published in: ICIS (2017)

Keyphrases

formal methods
building blocks
management system
design criteria
knowledge based systems
design process
design issues
face verification
asynchronous circuits
human computer interface
formal verification
functional verification