Collaborated with:G.Regis C.Cornejo S.G.Brida M.Politano 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: Fernando Raverta
DBLP: Raverta:Fernando
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.