Search results for: Carlo Ghezzi
Formal Aspects of Computing > 2019 > 31 > 5 > 459-502
Science of Computer Programming > 2017 > 145 > C > 13-36
IEEE Transactions on Software Engineering > 2017 > 43 > 4 > 340 - 358
Lecture Notes in Computer Science > Mobile Object Systems Towards the Programmable Internet > 91-109
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification > 233-247
Lecture Notes in Computer Science > Quality of Software Architectures. Models and Architectures > Architecture and Components / Reasoning about Components > 119-134
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 6. Model Checking > 247-262
Lecture Notes in Computer Science > ESEC '87 > 180-190
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Model Transformations 1 > 2-16
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Invited Contributions > 2-2