Loading...
Uploaded by gdecaso on Jun 14, 2009
Presentation of "Validation of Contracts using Enabledness-preserving Finite State Abstractions" by Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel. LaFHIS, DC, UBA.
Science & Technology
Standard YouTube License
Load more suggestions
Link to this comment:
All Comments (0)