Model Checking Correctness Properties of Electronic Contracts

May 30, 2017 | Autor: C. Molina-jimenez | Categoría: Model Checking, Boolean Satisfiability, Finite State Machine
Share Embed


Descripción

Lihat lebih banyak...

Comentarios

Copyright © 2017 DATOSPDF Inc.