Etienne Andr – författare
Visar alla böcker från författaren Etienne Andr. Handla med fri frakt och snabb leverans.
2 produkter
Inverse Method
Parametric Verification of Real-time Unbedded Systems
Av Romain Soulat, Etienne Andr
E-bok, 2013
2216 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 …
Inverse Method
Parametric Verification of Real-time Unbedded Systems
Av Romain Soulat, Etienne Andr
E-bok, 2013
2265 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 …
