×

离散和稠密系统的实时控制器综合。 (英语) 兹比尔1037.93522

Wing,Jeannette M.(编辑)等人,FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日,法国图卢兹。诉讼程序。2卷。柏林:施普林格出版社(ISBN 3-540-66587-0/vol1;3-540-665088-9/vol2)。莱克特。注释计算。科学。1708; 1709, 233-252 (1999).
关于整个系列,请参见[Zbl 0929.00076号].

MSC公司:

93C99号 控制理论中的模型系统
PDF格式BibTeX公司 XML格式引用