My research career begins in November 2000.My main line of work has always been formal methods.During the last years, I have specialized in formal approaches to validate and verify different types of complex systems and most of my relevant publications are in this research area.Specifically, I have done research in computational system modeling and its validation and verification using different formal approaches, I mainly work on formal aspects applied to different types of systems, for instance, Web Services, Electronic Contracts, Publish/
No takes yet. Share an insight, caveat, or question.
A 2024 study studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: