Publications

  1. Roveri Marco; Cimatti Alessandro; Narasamdya Iman; Micheli Andrea; Daniele Campana; Griggio Alberto; Tchaltsev Andrei, KRATOS, 2010
  2. E. Tosello, N. Castaman, E. Menegatti, Using robotics to train students for Industry 4.0, International Federation of Automatic Control Advances in Control Education Symposium (IFAC-ACE); Proceedings of., 2019, pp. 2405-8963, DOI: https://doi.org/10.1016/j.ifacol.2019.08.185
  3. Cavada Roberto; Cimatti Alessandro; Mariotti Alessandro; Mattarei Cristian; Micheli Andrea; Mover Sergio; Pensallorto Marco; Roveri Marco; Susi Angelo; Tonetta Stefano, Supporting Requirements Validation: The EuRailCheck Tool, Proceedings of 24th Int. Conference Automated Software Engineering, 2009, pp. 665-667, DOI: 10.1109/ASE.2009.49
  4. Roveri Marco; Cimatti Alessandro; Cavada Roberto; Tchaltsev Andrei; Micheli Andrea; Mariotti Alessandro; Mover Sergio; Marco Pensallorto; Armando Tacchella; Daniel Sheridan; Gavin Keighren; Tommi Junttila; Timo Latvala, NuSMV, 2002