Tesis doctoral de furio Honsell

Información academica furio Honsell. Tesis donde furio Honsell ha sido autor, director o parte del tribunal.

Rule-based software verification and correction

Tesis doctoral de Demis Ballis La creciente complejidad de los sistemas software ha conducido al desarrollo de metodologías formales para […]

Andrea Schaerf, Demis Ballis, furio Honsell, luca Chittaro, María Alpuente Frasnedo

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

Alicia Villanueva García, claude Kirchner, furio Honsell, jacques Jaray, marco Cadoli, María Alpuente Frasnedo