利用轨迹提取的精化对实时程序进行验证和参数合成
@文章{Cassez2020VerificationAP, title={使用跟踪抽象求精对实时程序进行验证和参数合成}, author={Franck Cassez和Peter Gj{o}l Jensen和Kim Guldstrand Larsen}, journal={Fundam.Informaticae}, 年份={2020年}, 体积={178}, 页数={31-57}, url={https://api.semanticscholar.org/CorpusID:220665693} }
2引文
35参考文献
用实数算法分析(定时)Petri网的可达性
1999