洛依茨海露;普拉奈阿格拉瓦尔 等待网络:状态类和分类。 (英语) Zbl 07801675号 芬达姆。通知。 190,编号2-4,63-107(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}和\textit{P.Agrawal},Fundam。通知。190,编号2--4,63-107(2024;Zbl 07801675) 全文: 内政部 arXiv公司
西尔万·伦巴第;雅克·萨卡洛维奇 加权自动机的形态和最小化。 (英语) Zbl 07597933号 芬达姆。通知。 186,编号1-4195-218(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Lombardy}和\textit{J.Sakarovitch},Fundam。通知。186,编号1--4,195-218(2022;Zbl 07597933) 全文: 内政部 arXiv公司
莱姆,迪迪埃;奥利维尔·H·鲁克斯。;夏洛特·塞纳 参数时间Petri网的代价问题。 (英语) Zbl 1522.68367号 芬达姆。通知。 183,编号1-2,97-123(2021).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Lime}等人,Fundam。通知。183,编号1--2,97-123(2021;Zbl 1522.68367) 全文: 内政部 arXiv公司
埃蒂安·安德烈;莱姆,迪迪埃;马蒂亚斯·拉普拉森;玛丽·斯托琳加 攻击故障树的参数分析。 (英语) Zbl 1491.68034号 芬达姆。通知。 182,第1号,69-94(2021).MSC公司:68平方米25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,Fundam。通知。182,编号1,69-94(2021;Zbl 1491.68034) 全文: 内政部 arXiv公司
埃蒂安·安德烈;艾曼纽尔·科夸德;劳伦·弗里堡;杰瑞,贾维尔;戴维·莱森斯 反应性约束下发射器飞行控制系统的参数可调度性分析。 (英语) Zbl 1520.93344号 芬达姆。通知。 182,第1期,31-67(2021).MSC公司:93C85号 第68季度第60季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}等人,Fundam。通知。182,编号1,31-67(2021;Zbl 1520.93344) 全文: 内政部 arXiv公司
Sylvain Conchon公司;乔治·德尔扎诺;安吉洛·费兰多 通过Cubicle模型检查器对分布式协议进行声明性参数化验证。 (英语) Zbl 1497.68293号 芬达姆。通知。 178,第4期,347-378(2021).MSC公司:第68季度第60季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}等人,基金会。通知。178,编号4,347--378(2021;Zbl 1497.68293) 全文: 内政部
杰里米·斯普洛斯顿 具有时钟相关概率的概率时间自动机。 (英语) Zbl 1478.68136号 芬达姆。通知。 178,编号1-2,101-138(2021).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.斯普洛斯顿},芬丹。通知。178,编号1--2,101-138(2021;Zbl 1478.68136) 全文: 内政部 arXiv公司
弗兰克·卡塞兹;彼得·格约尔·詹森;拉森·金(Larsen Kim Guldstrand) 使用跟踪抽象的精化对实时程序进行验证和参数合成。 (英语) Zbl 1478.68053号 芬达姆。通知。 178,编号1-2,31-57(2021).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}等人,Fundam。通知。178,编号1--2,31-57(2021;Zbl 1478.68053) 全文: 内政部 arXiv公司