Ana Cavalcanti

· 11 obras en el catálogo

Obras

Theoretical aspects of computing

Formal Methods And Software Engineering 11th International Conference On Formal Engineering Methods Icfem 2009 Rio De Janeiro Brazil December 912 2009 Proceedings

Critical Systems

RRefinement Techniques in Software Engineering

Refinement Techniques in Software Engineering

SSoftware Engineering for Robotics

Software Engineering for Robotics

TTheoretical Aspects of Computing - ICTAC 2006

Theoretical Aspects of Computing - ICTAC 2006

FFormal Methods and Software Engineering

Formal Methods and Software Engineering

FFM 2009 : Formal Methods

FM 2009 : Formal Methods

TTesting Techniques in Software Engineering

Testing Techniques in Software Engineering

FFundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

TTowards Autonomous Robotic Systems

Towards Autonomous Robotic Systems