validating objected-oriented prototype of real-time systems with timed automata

Autoria(s): Guoqiang Shu; Chao Li; Qing Wang; Li Mingshu
Data(s)

26/05/2010
Identificador

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

http://www.irgrid.ac.cn/handle/1471x/67967
Idioma(s)

英语
Fonte

Guoqiang Shu; Chao Li; Qing Wang; Li Mingshu.validating objected-oriented prototype of real-time systems with timed automata.见：.,,,99-106
Tipo

会议论文
Acesso ao item digital