Dynamic Constraints for Mixed-Criticality Systems.

Dávid Juhász Axel Jantsch

Published in: COINS (2019)

Keyphrases

dynamic constraints
management system
distributed systems
active rules
knowledge base
web services
functional dependencies
temporal logic