on hierarchically developing reactive systems

Autoria(s): Zhan Naijun; Majster-Cederbaum Mila
Data(s)

2010
Identificador

http://ir.iscas.ac.cn/handle/311060/10133

http://www.irgrid.ac.cn/handle/1471x/143752
Fonte

Zhan Naijun;Majster-Cederbaum Mila.on hierarchically developing reactive systems,INFORMATION AND COMPUTATION,2010,208(9):997-1019
Palavras-Chave #Computer Science #Theory & Methods; Mathematics #Applied #Action refinement #Modal logics #Specification #Verification #Reactive systems
Tipo

期刊论文
Acesso ao item digital