Search results for: Jeanine Souquières
Lecture Notes in Computer Science > Integrated Formal Methods > Session: UML and Statecharts > 386-405
Lecture Notes in Computer Science > Conceptual Modeling — ER ’99 > Session 7 — Integrating Application Models > 309-325
Lecture Notes in Computer Science > ESEC '87 > 159-171
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Component Engineering and Software Architecture > 57-68
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 103-118
Lecture Notes in Computer Science > Integrated Formal Methods > Statecharts and B: Integration and Translation > 109-127
Electronic Notes in Theoretical Computer Science > 2009 > 203 > 7 > 23-35
Innovations in Systems and Software Engineering > 2008 > 4 > 3 > 259-266
Electronic Notes in Theoretical Computer Science > 2006 > 160 > Complete > 157-172