Navegar

Colección

Datos Estadísticas

Lista de

2013
1363
ACM Transactions on Software Engineering and Methodology
2
"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)
"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)