registros 1 al 10 de 10
Automated Technology for Verification and Analysis
Autor/Editor: Artho, Cyrille  Legay, Axel  Peled, Doron
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-46520-3
    + info
Formal Modeling and Analysis of Timed Systems
Autor/Editor: Legay, Axel  Bozga, Marius
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-10512-3
    + info
From Programs to Systems. The Systems perspective in Computing
Autor/Editor: Bensalem, Saddek  Lakhneck, Yassine  Legay, Axel
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-54848-2
    + info
Hardware and Software: Verification and Testing
Autor/Editor: Bertacco, Valeria  Legay, Axel
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-03077-7
    + info
Models, Algorithms, Logics and Tools
Autor/Editor: Aceto, Luca  Bacci, Giorgio  Bacci, Giovanni  Ingólfsdóttir, Anna  Legay, Axel  Mardare, Radu
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-63121-9
    + info
Risks and Security of Internet and Systems
Autor/Editor: Cuppens, Frédéric  Cuppens, Nora  Lanet, Jean-Louis  Legay, Axel
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-54876-0
    + info
Risks and Security of Internet and Systems
Autor/Editor: Cuppens, Nora  Cuppens, Frédéric  Lanet, Jean-Louis  Legay, Axel  Garcia-Alfaro, Joaquin
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-76687-4
    + info
Runtime Verification
Autor/Editor: Legay, Axel  Bensalem, Saddek
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-40787-1
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Legay, Axel  Margaria, Tiziana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54577-5
    + info
Tools and Algorithms for the Construction and Analysis of Systems
Autor/Editor: Legay, Axel  Margaria, Tiziana
Año de edición: 2017
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-54580-5
    + info
  registros 1 al 10 de 10