|
|||||
|
|
Formal verification of OIL component specifications using mCRL2 |
|
| Authors: | Bunte Olav van Gool Louis C. M. Willemse Tim A. C. |
| Abstract: | International Journal on Software Tools for Technology Transfer - To aid in making software bug-free, several high-tech companies are moving from coding to modelling. In some cases model checking... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |