|
|||||
|
|
Formal methods and tools for industrial critical systems |
|
| Authors: | ter Beek,Maurice H.,Larsen,Kim G.,Ni&# kovi&# , Dejan,Willemse, Tim A. C. |
| Affiliation: | ter Beek,Maurice H.,Larsen,Kim G.,Ničković, Dejan,Willemse, Tim A. C. |
| Abstract: | International Journal on Software Tools for Technology Transfer - Formal methods and tools have become well established and widely applied to ensure the correctness of fundamental components of... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |