Fabrice Kordon is a full-time professor at Université P. & M. Curie (UPMC).
Serge Haddad is a full-time professor at école Normale Supérieure de Cachan, a member of the CNRS laboratory LSV, and a member of the INRIA team MEx ICo.
Laurent Pautet is a full-time professor at Télécom Paris Tech and a member of the CNRS laboratory LTCI.
Laure Petrucci is a full-time professor at University Paris 13 in France and a member of the CNRS laboratory LIPN.
8 Ebooks by Laure Petrucci
Serge Haddad & Fabrice Kordon: Distibuted Systems
In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems intr …
EPUB
English
DRM
€144.99
Serge Haddad & Fabrice Kordon: Distibuted Systems
In today’s digital environment, distributed systems are increasingly present in a wide variety of environments, ranging from public software applications to critical systems. Distributed Systems intr …
PDF
English
DRM
€144.99
Serge Haddad & Fabrice Kordon: Models and Analysis for Distributed Systems
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Sys …
EPUB
English
DRM
€144.99
Serge Haddad & Fabrice Kordon: Models and Analysis for Distributed Systems
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Sys …
PDF
English
DRM
€144.99
Ana Cavalcanti & Laure Petrucci: Critical Systems: Formal Methods and Automated Verification
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification …
EPUB
English
DRM
€57.76
Lars M. Kristensen & Laure Petrucci: Application and Theory of Petri Nets
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, i …
PDF
English
DRM
€57.78
Luca Bernardinello & Laure Petrucci: Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full …
EPUB
English
DRM
€83.29
Laure Petrucci & Jeremy Sproston: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 …
EPUB
English
DRM
€57.61
