Towards rewriting-based formal model for component-based systems verification.

Ahmed Amar Debza Chafia Bouanaka Nadia Zeghib

Published in: ICAASE (2016)

Keyphrases

formal model
security patterns
management system
building blocks
complex systems
formal methods
predicate calculus
knowledge representation
distributed systems
computer systems
process model
model checking
formal models