| Tutorials and Papers Model Checking: A Tutorial Overview Theorem Proving for Verification Composition and Abstraction UPPAAL-Now, Next, and Future HMSCs as Partial Specifications ... with PNs as Completions Industrial Applications of Model Checking Formal Methods in Practice: The Missing Links. A Perspective from the ecurity Area Annotated Bibliographies Verification of Systems with an Infinite State Space Testing Transition Systems: An AnnOtated Bibliography Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography Mobile Processes: A Commented Bibliography Author Index |
内容加载中，请稍后...
商品评论（0条）