Degiovanni, Renzo Gastón

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-2 de 2

Artículo Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

Scilingo, Gaston; Novaira, Maria Marta; Degiovanni, Renzo Gastón (Open Publishing Association, 2014-02)
Artículo Improving lazy abstraction for SCR specifications through constraint relaxation

Degiovanni, Renzo Gastón ; Ponzio, Pablo Daniel ; Aguirre, Nazareno Matias ; Frias, Marcelo Fabian (John Wiley & Sons Ltd, 2018-03)

Mostrando ítems 1-2 de 2