×

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

Amir Pnueli和混合系统的黎明。 (英语) Zbl 1360.68005号

2010年4月12日至16日,瑞典斯德哥尔摩,HSCC 2010,第13届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。293-295 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

尽快:时间自动机的时间最优控制。 (英语) Zbl 0952.93064号

Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1569, 19-30 (1999).
MSC公司:93立方 49号05
PDF格式BibTeX公司 XML格式引用

关于动力系统和过渡系统之间的一些关系。 (英语) Zbl 1418.68088号

Abiteboul,Serge(编辑)等人,《自动化,语言和编程》。1994年7月11日至14日,以色列耶路撒冷,第21届国际学术讨论会,ICALP’94。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。820, 59-72 (1994).
MSC公司:2005年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

出版年份

传记参考