registros 1 al 3 de 3
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor/Editor: Ait Ameur, Yamine  Schewe, Klaus-Dieter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-43652-3
    + info
ABZ 2014: The Landing Gear Case Study
Autor/Editor: Boniol, Frédéric  Wiels, Virginie  Ait Ameur, Yamine  Schewe, Klaus-Dieter
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-07512-9
    + info
Model and Data Engineering
Autor/Editor: Ait Ameur, Yamine  Bellatreche, Ladjel  Papadopoulos, George A.
Año de edición: 2014
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-11587-0
    + info
  registros 1 al 3 de 3