Search results for: Pascal Poizat
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 33-47
IEEE Transactions on Services Computing > 2016 > 9 > 4 > 647 - 660
Lecture Notes in Computer Science > Software Composition > Component Controls and Protocols > 115-124
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 63-77
Lecture Notes in Computer Science > FM’99 — Formal Methods > Foundations of System Specification (IFIP WG 1.3) > 939-962
Lecture Notes in Computer Science > FM’99 — Formal Methods > Works-in-Progress > 1856-1857
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2007 Workshop Reader > Software Engineering > 154-165
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing > 35-50
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2004 Workshop Reader > 133-147
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE > Components > 1502-1519
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 8. Components > 341-357
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Regular Papers > 16-32
Studies in Computational Intelligence > Software Engineering Research, Management and Applications 2010 > 17-36
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2006 Workshop Reader > Software Engineering > 72-86
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Components and Services > 141-156
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Model Integrations and Extensions > 341-355