Book chapters

From LRDE

 AuthorsTitlePublished inDate
Parallel Model Checking Algorithms for Linear-Time Temporal LogicJiri Barnat
Vincent Bloemen
Alexandre Duret-Lutz
Alfons Laarman
Laure Petrucci
Jaco van de Pol
Etienne Renault
Parallel Model Checking Algorithms for Linear-Time Temporal LogicHandbook of Parallel Constraint Reasoning10 April 2018
Advances in Utilization of Hierarchical Representations in Remote Sensing Data AnalysisGuillaume Tochon
Mauro Dalla Mura
Philippe Salembier
Jocelyn Chanussot
Miguel-Angel Veganzones
Silvia Valero
Advances in Utilization of Hierarchical Representations in Remote Sensing Data AnalysisComprehensive Remote Sensing, 1st Edition8 November 2017
Extensible languages: blurring the distinction between DSLs and GPLsDidier VernaExtensible languages: blurring the distinction between DSLs and GPLsFormal and Practical Aspects of Domain-Specific Languages: Recent Developments1 September 2012
Morphologie et algorithmesThierry Géraud
Hugues Talbot
Marc Van Droogenbroeck
Morphologie et algorithmesMorphologie mathématique 2 : estimation, choix et mise en œuvre1 September 2010
Algorithms for Mathematical MorphologyThierry Géraud
Hugues Talbot
Marc Van Droogenbroeck
Algorithms for Mathematical MorphologyMathematical Morphology—From Theory to Applications1 July 2010
Practical Application of Probabilistic Model Checking to Communication ProtocolsMarie Duflot
Marta Kwiatkowska
Gethin Norman
Dave Parker
Sylvain Peyronnet
Claudine Picaronny
Jeremy Sproston
Practical Application of Probabilistic Model Checking to Communication ProtocolsFMICS Handbook on Industrial Critical Systems1 January 2006