Search results for: Virginie Wiels
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 7-22
Lecture Notes in Computer Science > FM 2009: Formal Methods > Special Track: Industrial Applications I > 532-546
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Formal Languages and Methods for Designing and Verifying Complex Embedded Systems > 58-59
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 533-552
IFIP — The International Federation for Information Processing > Building the Information Society > Emerging tools and Techniques for Avionics Certification > 499-504