Javier Cámara profile picture

Javier Cámara

Is this your author profile? Create an account to customize it!

Stand Alone

Assurances for Self-Adaptive Systems
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
Formal Aspects of Component Software
Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Software Engineering and Formal Methods