Navegar

Colección

Datos Estadísticas

Lista de

ACM Transactions on Software Engineering and Methodology
7
2013
2
"Synthesizing nonanomalous event-based controllers for liveness goals" (2013) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(1)
"Enabledness-based program abstractions for behavior validation" (2013) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(3)