Personal tools

Book chapters


Jump to: navigation, search
Title Authors Published in Date
verna.12.dsl Extensible languages: blurring the distinction between DSLs and GPLs Didier Verna Formal and Practical Aspects of Domain-Specific Languages: Recent Developments 1 September 2012
geraud.10.livre Morphologie et algorithmes Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck Morphologie mathématique 2~: estimation, choix et mise en œuvre 1 September 2010 Algorithms for Mathematical Morphology Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck Mathematical Morphology---From Theory to Applications 1 July 2010 Practical Application of Probabilistic Model Checking to Communication Protocols Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston FMICS Handbook on Industrial Critical Systems 1 January 2006