Search results for: Laurent Pautet
Software & Systems Modeling > 2019 > 18 > 1 > 321-344
Software & Systems Modeling > 2019 > 18 > 1 > 107-127
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe’ 99 > Distributed Systems > 211-225
Lecture Notes in Computer Science > Ada in Europe > 206-216
Lecture Notes in Computer Science > FM’99 — Formal Methods > Avionics > 1836-1853
Lecture Notes in Computer Science > Reliable SoftwareTechnologies — Ada-Europe 2001 > Distributed Systems > 123-135
Lecture Notes in Computer Science > Composition of Embedded Systems. Scientific and Industrial Issues > Model Driven Development and Embedded Systems > 35-52
Lecture Notes in Computer Science > Ada in Europe > 191-205
Lecture Notes in Computer Science > Reliable Software Technology – Ada-Europe 2005 > Design and Scheduling Issues > 67-78
Lecture Notes in Computer Science > Reliable Software Technologies - Ada-Europe 2004 > Distributed Systems > 106-119