|
|
|
|
Intelligent modeling and verification
|
|
|
|
|
|
|
|
نویسنده
|
luo g. ,chesi g. ,song x. ,yang x.
|
|
منبع
|
journal of applied mathematics - 2013 - دوره : 2013 - شماره : 0
|
|
چکیده
|
[no abstract available]
|
|
|
|
|
آدرس
|
school of software,tsinghua university, China, department of electrical and electronic engineering,university of hong kong, Hong Kong, maseeh college of electrical and computer engineering,portland state university,p.o. box 751,portland, United States, department of mathematical sciences,tsinghua university, China
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|