Collaborated with:G.Regis C.Cornejo M.Politano F.Raverta P.Ponzio N.Aguirre J.P.Galeotti M.F.Frias
Talks about:alloy (2) behaviour (1) analysi (1) specif (1) analyz (1) model (1) dynam (1) tool (1) dyn (1)
Person: Simón Gutiérrez Brida
DBLP: Brida:Sim=oacute=n_Guti=eacute=rrez
Contributed to:
2017Wrote 1 papers:
- ESEC-FSE-2017-RegisCBPRPAGF #alloy #analysis #behaviour #modelling #specification
- DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour (GR, CC, SGB, MP, FR, PP, NA, JPG, MFF), pp. 969–973.