会议论文《面向参数化LTL的预测监控器构造方法》发表于中国计算机学会全国软件与应用学术会议(NASAC2009)。该文提出一种针对参数化线性时序逻辑（LTL）的预测监控器构造方法，旨在提高系统在运行过程中对动态行为的预测与监控能力。通过引入参数化机制，该方法能够适应不同场景下的监控需求，增强系统的灵活性和实用性。
文档为pdf格式，0.65MB，总共11页。
举报
