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 等数据库收录! |