مؤتمر
Application of DES theory to verification of software components
| العنوان: | Application of DES theory to verification of software components |
|---|---|
| المؤلفون: | Kunihiko Hiraishi, Kucera, Petr |
| المصدر: | SICE Annual Conference 2007 SICE, 2007 Annual Conference. :527-532 Sep, 2007 |
| Relation: | SICE Annual Conference 2007 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9784907764272 |
|---|---|
| DOI: | 10.1109/SICE.2007.4421040 |