Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS
· 약 1분
SEUS(Software Technologies for Embedded and Ubiquitous Systems) 2007, Lecture Notes in Computer Science #4761(ISSN :0302-9743), Vol. 4761, pp. 114-124, May 2007.
SEUS(Software Technologies for Embedded and Ubiquitous Systems) 2007, Lecture Notes in Computer Science #4761(ISSN :0302-9743), Vol. 4761, pp. 114-124, May 2007.