Search results for: Pierre-Yves Schobbens
Information and Software Technology > 2018 > 94 > C > 59-81
Science of Computer Programming > 2018 > 152 > C > 116-160
Lecture Notes in Computer Science > Scenarios: Models, Transformations and Tools > Scenarios: Models, Transformations and Tools > 174-192
Lecture Notes in Computer Science > Requirements Engineering: Foundation for Software Quality > Product Families II > 106-112
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Real-Time and Co-design > 415-430
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 370-398
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Specification, Program Synthesis > 477-492
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 8: Formal Verification 2 > 243-256
Lecture Notes in Computer Science > Agent-Oriented Software Engineering VII > Modelling and Design of Agent Systems > 19-34
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 250-263
Lecture Notes in Computer Science > Models in Software Engineering > Model Co-evolution and Consistency Management (MCCM) > 120-123