Symbolic Model-Checking for Abstracting Inevitability Modalities Over Transient States
International Journal of Control and Automation - South Korea
doi 10.14257/ijca.2017.10.12.04
Full Text
Open PDFAbstract
Available in full text
Date
December 31, 2017
Authors
Publisher
NADIA