Search results for: Lionel Morel
Lecture Notes in Computer Science > Models in Software Engineering > Quality in Modeling (QIM) > 291-302
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 460-474
IFIP — The International Federation for Information Processing > Distributed, Parallel and Biologically Inspired Systems > Specification and Modeling > 7-18
Electronic Notes in Theoretical Computer Science > 2009 > 203 > 7 > 121-135
EURASIP Journal on Embedded Systems > 2006 > 2007 > 1 > 1-16
Electronic Notes in Theoretical Computer Science > 2002 > 65 > 5 > 803-810