On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems.

Hoang-Viet Tran Quang-Trung Nguyen Pham Ngoc Hung

Published in: SoICT (2019)

Keyphrases

verification method
management system
database
databases
database systems
expert systems
learning systems
complex systems
petri net
temporal logic
successful deployment
case study
intelligent systems
efficient implementation
improved algorithm
highly optimized