Tag Cloud
Tag Cloud
4
documents
/
tag : formal models
/
ReSpecT
Formal ReSpecT in the A&A Perspective (paper in proceedings, 2006) — Andrea Omicini
Formal ReSpecT in the A&A Perspective (paper in proceedings, 2007) — Andrea Omicini
Formal ReSpecT (paper in proceedings, 2001) — Andrea Omicini, Enrico Denti
Formal ReSpecT in the A&A Perspective (5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2006), 31/08/2006) — Andrea Omicini (Andrea Omicini)