OtiumSessione
Sessione
Non abbiamo ancora una biografia di Ana Cavalcanti.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Theoretical aspects of computing
2010
Software Engineering for Robotics
2022
Towards Autonomous Robotic Systems
2025
Theoretical Aspects of Computing - ICTAC 2006
2006
Testing Techniques in Software Engineering
2010
Refinement Techniques in Software Engineering
2006
Fundamental Approaches to Software Engineering
2024
Formal Methods Second World Congress Proceedings
2010
Formal Methods and Software Engineering
2009
Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings
2010
FM 2009 : Formal Methods
2009
Critical Systems
2017