Wyniki wyszukiwania dla: Amel Bennaceur
Lecture Notes in Computer Science > Middleware 2011 > Run-Time (Re)configuration and Inspection > 410-430
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Connector Synthesis > 217-255
Lecture Notes in Computer Science > Formal Methods for Eternal Networked Software Systems > Architecture and Interoperability > 27-52
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > CONNECT: Status and Plans > 206-220
IEEE Transactions on Software Engineering > 2015 > 41 > 3 > 221 - 240
Journal of Internet Services and Applications > 2015 > 6 > 1 > 1-15