Book chapters
From LRDE
Revision as of 12:08, 7 March 2014 by Clément Démoulins (talk | contribs)
Authors | Title | Published in | Date | |
---|---|---|---|---|
Parallel Model Checking Algorithms for Linear-Time Temporal Logic | Jiri Barnat Vincent Bloemen Alexandre Duret-Lutz Alfons Laarman Laure Petrucci Jaco van de Pol Etienne Renault | Parallel Model Checking Algorithms for Linear-Time Temporal Logic | Handbook of Parallel Constraint Reasoning | 10 April 2018 |
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis | Guillaume Tochon Mauro Dalla Mura Philippe Salembier Jocelyn Chanussot Miguel-Angel Veganzones Silvia Valero | Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis | Comprehensive Remote Sensing, 1st Edition | 8 November 2017 |
Extensible languages: blurring the distinction between DSLs and GPLs | Didier Verna | Extensible languages: blurring the distinction between DSLs and GPLs | Formal and Practical Aspects of Domain-Specific Languages: Recent Developments | 1 September 2012 |
Morphologie et algorithmes | Thierry Géraud Hugues Talbot Marc Van Droogenbroeck | Morphologie et algorithmes | 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 | Algorithms for Mathematical Morphology | 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 | Practical Application of Probabilistic Model Checking to Communication Protocols | FMICS Handbook on Industrial Critical Systems | 1 January 2006 |