PAT approach to Architecture Behavioural Verification.

Nacha Chondamrongkul Jing Sun Ian Warren

Published in: SEKE (2019)

Keyphrases

software architecture
management system
model checking
open source
database
real time
information systems
design methodology
architectural design
artificial intelligence
formal model
reference model
face verification
formal methods
verification method