×

找到26个文档（结果1-26）

最新的 引文 关联
洛依茨海露；阿格拉瓦尔，普拉奈

等待网。 （英语） Zbl 1499.68226号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 67-89 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Hélouét}和\textit{P.Agrawal}，莱克托。注释计算。科学。13288，67-89（2022；Zbl 1499.68226）
全文： 内政部 哈尔
埃蒂安·安德烈

模仿者3：超越可判定性的时序参数合成。 （英语） Zbl 1493.68202号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 552-565 (2021).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃里·安德烈}，莱克特。注释计算。科学。12759、552--565（2021；Zbl 1493.68202）
全文： 内政部
劳伦特·多恩；戈兰·弗雷斯；乔治·J·帕帕斯。；安德烈·普拉泽

混合系统的验证。 （英语） Zbl 1392.68246号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1047-1110 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Doyen}等人，in：模型检查手册。查姆：斯普林格。1047--1110（2018；Zbl 1392.68246）
全文： 内政部
帕特里夏·鲍耶；乌里·法伦贝格；金·古德斯特兰·拉森；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔

模型检查实时系统。 （英语） Zbl 1392.68235号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235）
全文： 内政部 哈尔
Park，Junkil公园；李因苏普；奥列格·索科尔斯基；黄大渊；安，Sojin；Choi，Jin-Young先生；康英业

一种用于分层实时系统可调度性分析和工作负载抽象的进程代数方法。 （英语） 兹比尔1373.68162

J.日志。阿尔盖布。方法计划。 92, 1-18 (2017).
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Park}等人，J.Log。阿尔盖布。方法计划。92、1-18（2017年；Zbl 1373.68162）
全文： 内政部 链接
李国强；小川，水井裕人；袁，Shoji

带有冻结时钟的嵌套定时自动机。 （英语） Zbl 1465.68160号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 189-205 (2015).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Li｝等人，Lect。注释计算。科学。9268189-205（2015年；兹比尔1465.68160）
全文： 内政部
托马斯·布里海耶；劳伦特·多恩；吉勒·杰勒茨；约尔·瓦克宁；让-弗朗索瓦·拉斯金；詹姆斯·沃雷尔

有界时间上混合自动机的可达性。 （英语） Zbl 1300.68033号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。第38届国际学术讨论会，ICALP 2011，瑞士苏黎世，2011年7月4日至8日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756，416-427（2011）。
MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 93个B03
PDF格式BibTeX公司 XML格式引用
\textit{T.Brihaye}等人，Lect。注释计算。科学。6756、416--427（2011；Zbl 1300.68033）
全文： 内政部 arXiv公司
马丁·范策尔；马尼省斯瓦米纳坦

重温多值时间自动机的可判定性和最优可达性。 （英语） Zbl 1262.68090号

Ouaknine，Joöl（编辑）等，时间系统的形式化建模和分析。第七届国际会议，FORMATS 2009，匈牙利布达佩斯，2009年9月14日至16日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04367-3/pbk）。计算机科学课堂讲稿5813，149-163（2009）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}和\textit{M.Swaminathan}，莱克特。注释计算。科学。5813、149--163（2009年；Zbl 1262.68090）
全文： 内政部
贝拉德、比阿特丽斯；谢尔盖·哈达德

中断定时自动机。 （英语） Zbl 1234.68195号

de Alfaro，Luca（编辑），软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504197-211（2009）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}和\textit{S.Haddad}，莱克特。注释计算。科学。5504197-211（2009年；Zbl 1234.68195）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件