Etienne André – författare
Visar alla böcker från författaren Etienne André. Handla med fri frakt och snabb leverans.
10 produkter
Inverse Method
Parametric Verification of Real-time Unbedded Systems
Av Etienne André, Romain Soulat
Inbunden, 2013
1953 kr
Lägg i varukorg
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as …
Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Av Étienne André, Mariëlle Stoelinga
Häftad, 2019
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019.The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected …
Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Av Marielle Stoelinga, Etienne Andre
E-bok, 2019
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected …
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
Av Étienne André, Jun Sun
Häftad, 2023
902 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification …
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
Av Jun Sun, Etienne Andre
E-bok, 2023
1138 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification …
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
Av Étienne André, Jun Sun
Häftad, 2023
846 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification …
Automated Technology for Verification and Analysis
21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
Av Jun Sun, Etienne Andre
E-bok, 2023
1056 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification …
Je t'aime, merci
Av Etienne Andre, Agnes Dumont m. fl.
E-bok, 2018
106 kr
Lägg i varukorg
Quand vos vibrations changent, tout ce que vous attirez change et, petit à petit, c''est votre réalité qui change. L''image que vous projetez sur l''écran se transforme: les pleurs font place aux rires et votre paix intérieure augmente. Vous sentez votre coeur se dilater et vous commencez à …
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
Av Étienne André, Jingyi Wang m. fl.
Häftad, 2025
835 kr
Lägg i varukorg
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference …
Formal Methods and Software Engineering
26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
Av Naijun Zhan, Jingyi Wang m. fl.
E-bok, 2025
1091 kr
Lägg i varukorg
This volume LNCS 16229 constitutes the refereed proceedings of 26th International Conference on Formal Methods and Software Engineering, ICFEM 2025, in Hangzhou, China, during November 10–13, 2025.The 20 full papers presented were carefully reviewed and selected from 47 submissions. The conference …
