×

找到21个文档（结果1–21）

最新 引文 关联
雅各布·范德波尔;劳雷·佩特鲁奇

参数时间自动机活性合成的完备性（扩展抽象）。 （英语） Zbl 07415130号

Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 3-10 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.van de Pol}和\textit{L.Petrucci}，莱克特。注释计算。科学。12669，3-10（2021；Zbl 07415130）
全文： 内政部
埃蒂安·安德烈;莱姆，迪迪埃;马蒂亚斯·拉普拉森

参数时间自动机中的参数更新。 （英语） Zbl 07800277号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 39-56 (2019).
MSC公司：65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。11535，39-56（2019；Zbl 07800277）
全文： 内政部 哈尔
尼古拉斯·大卫;克洛德·贾德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。

参数Petri网中的覆盖性综合。 （英语） Zbl 1442.68133号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5日至8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。85，第14条，第16页（2017年）。
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{N.David}等人，LIPIcs——莱布尼茨国际程序。通知。85，第14条，第16页（2017年；Zbl 1442.68133）
全文： 内政部
埃蒂安·安德烈

参数时间自动机的决定因素是什么？ （英语） Zbl 1396.68064号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。计算机和信息科学通信596，52-68（2016）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛É.André｝，公社。计算。信息科学。596、52-68（2016；Zbl 1396.68064）
全文： 内政部 arXiv公司
彼得·贝兹克;尼古拉·贝内什;JiříBarnat;伊万娜·乔纳

参数时间自动机的LTL参数综合。 （英语） Zbl 1390.68422号

De Nicola，Rocco（编辑）等人，《软件工程与形式化方法》。2016年7月4日至8日，作为2016年STAF的一部分，在奥地利维也纳举行了2016年SEFM第14届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-41590-1/pbk；978-3-316-41591-8/电子书）。计算机科学课堂讲稿9763172-187（2016）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.BezdŞk｝等人，Lect。注释计算。科学。9763、172--187（2016；Zbl 1390.68422）
全文： 内政部 arXiv公司
尼古拉·贝内什;彼得·贝兹克;Larsen，Kim G。;吉·斯尔巴

连续时间参数时间自动机的语言空虚性。 （英语） Zbl 1440.68150号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 69-81 (2015).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Beneš}等人，Lect。注释计算。科学。9135，69-81（2015；Zbl 1440.68150）
全文： 内政部 arXiv公司
埃蒂安·安德烈;尼古拉斯·马基

参数时间自动机中的语言保存问题。 （英语） Zbl 1465.68129号

Sankaranarayanan，Sriram（编辑）等人，定时系统的形式建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 27-43 (2015).
MSC公司：65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}和\textit{N.Markey}，莱克特。注释计算。科学。9268，27-43（2015；Zbl 1465.68129）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件