Search results for: Dominique Méry
Journal of Software: Evolution and Process > 35 > 7 > n/a - n/a
Future Generation Computer Systems > 2017 > 68 > C > 445-455
Lecture Notes in Computer Science > Temporal Logic > 382-397
Lecture Notes in Computer Science > Integrated Formal Methods > Verification and Validation > 380-397
Science of Computer Programming > 2016 > 121 > C > 100-127
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 198-209
Lecture Notes in Computer Science > Perspectives of System Informatics > Concurrency and Parallelism > 155-179
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 140-154
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 > ZB 2005: Formal Specification and Development in Z and B > 222-241
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > 401-415
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 457-476
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 232-247