You are here

Andrea Micheli

Postdoc
  • Phone: 0461314138
  • FBK Povo
Publications
  1. Roberto Cavada; Alessandro Cimatti; Alessandro Mariotti; Cristian Mattarei; Andrea Micheli; Sergio Mover; Marco Pensallorto; Marco Roveri; Angelo Susi; Stefano Tonetta,
    Supporting Requirements Validation: The EuRailCheck Tool,
    Proceedings of 24th Int. Conference Automated Software Engineering,
    2009
    , pp. 665-
    667
    , (ASE 2009,
    Auckland, New Zealand,
    16/11/2009 - 20/11/2009)
  2. Marco Roveri; Alessandro Cimatti; Roberto Cavada; Andrei Tchaltsev; Andrea Micheli; Alessandro Mariotti; Sergio Mover; Marco Pensallorto; Armando Tacchella; Daniel Sheridan; Gavin Keighren; Tommi Junttila; Timo Latvala,
    2002,

Pages