|
|
|
|
Applications of Formal Methods to System Design and Verification
|
|
|
|
|
|
|
|
نویسنده
|
Arbab Farhad ,Sirjani Marjan
|
|
منبع
|
journal of universal computer science - 2007 - دوره : 13 - شماره : 13 - صفحه:1970 -1971
|
|
|
|
|
|
|
|
آدرس
|
CWI, Netherlands. Leiden University, Netherlands, university of tehran, ایران. IPM, ایران
|
|
پست الکترونیکی
|
msirjani@ut.ac.ir
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|