Model checking of the concurrent constraint paradigm

Tesis doctoral de Alicia Villanueva García En muchas aplicaciones reales la verificación formal de propiedades temporales es imprescindible. En la […]

, , , , ,