Search results for: Michel Chaudron
Lecture Notes in Computer Science > FM’99 — Formal Methods > Safety > 1511-1526
Lecture Notes in Computer Science > Euro-Par 2004 Parallel Processing > Topic 9: Distributed Systems and Algorithms > 579-586
Lecture Notes in Computer Science > Component-Based Software Engineering > Components for Real-Time Embedded Systems > 162-177
Lecture Notes in Computer Science > High Confidence Software Reuse in Large Systems > Component Selection and Reuse Repository > 100-111
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE > Adaptation > 1225-1242
Information and Software Technology > 2015 > 67 > C > 237-253
Science of Computer Programming > 2010 > 75 > 6 > 426-439