×

找到5个文档(结果1-5)

参数定时正则表达式的模式匹配和参数识别。 (英语) Zbl 07807955号

第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

时间自动机中的谱间隙。 (英语) Zbl 1390.68372号

Braberman,Víctor(编辑)等人,《定时系统的形式化建模和分析》。第11届国际会议,FORMATS 2013,阿根廷布宜诺斯艾利斯,2013年8月29日至31日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40228-9/pbk)。计算机科学课堂讲稿8053,16-30(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

筛选结果依据…

文档类型

序列号

出版年份