selected publications

• academic article

  • An Open Software Architecture for the Verification of Industrial Controllers.  Zenodo (CERN European Organization for Nuclear Research).  2001