Home 
Supervisor Name
Supervisor Name
Ana Cristina Vieira de Melo
Results: Displaying 10 of 21 on page 2 of 3
Name
Title
Area
Document
Colleges
Year
Transactional web service pattern validation
Programming with monoidal profunctors and semiarrows
A framework for exception handling coordination in fault-tolerant systems
not available
not available
not available
Verification of behaviourist multi-agent systems by means of formally guided sim...
not available
A formalization of a startup finance transaction model using Alloy
not available
Results: Displaying 10 of 21 on page 2 of 3
Copyright © 2024 Biblioteca Digital de Teses e Dissertações da USP. All Rights Reserved.