Search results for: Jean-Claude Royer
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 33-47
Lecture Notes in Computer Science > Software Composition > Component Controls and Protocols > 115-124
Lecture Notes in Computer Science > FM’99 — Formal Methods > Foundations of System Specification (IFIP WG 1.3) > 939-962
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE > Components > 1502-1519
Software & Systems Modeling > 2010 > 9 > 4 > 427-451
Electronic Notes in Theoretical Computer Science > 2008 > 215 > Complete > 131-149