Etienne André – författare
Visar alla böcker från författaren Etienne André.
5 produkter
Inverse Method
Parametric Verification of Real-time Unbedded Systems
Av Etienne André, Romain Soulat
Inbunden, 2013
2539 kr
Lägg i varukorg
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
739 kr
Lägg i varukorg
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
1169 kr
Lägg i varukorg
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
1439 kr
Lägg i varukorg
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
1089 kr
Kommande