Search results for: Antonino Sabetta
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 1 > 105-119
Lecture Notes in Computer Science > «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications > Profiles and Extensions > 128-142
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 251-262
Lecture Notes in Computer Science > Satellite Events at the MoDELS 2005 Conference > W8 – NfC > 217-226
Lecture Notes in Computer Science > Software Engineering for Resilient Systems > Monitoring and Self-adaptation > 130-144
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Applications of Formal Approaches to Service-Oriented Computing > 206-220
The Journal of Systems & Software > 2011 > 84 > 7 > 1089-1099
The Journal of Systems & Software > 2007 > 80 > 4 > 528-558
Software & Systems Modeling > 2007 > 6 > 4 > 453-471