Report Open Access

Verification of Real-Time Coordination in VirtuosoNext (extended version)

Cledou, Guillermina; Proença, José; Sputh, Bernhard H.C.; Verhulst, Eric

BibTeX Export

  author       = {Cledou, Guillermina and
                  Proença, José and
                  Sputh, Bernhard H.C. and
                  Verhulst, Eric},
  title        = {{Verification of Real-Time Coordination in 
                   VirtuosoNext (extended version)}},
  month        = may,
  year         = 2020,
  note         = {{This work is financed by the ERDF – European 
                   Regional Development Fund through the Operational
                   Programme for Competitiveness and
                   Internationalisation – COMPETE 2020 Programme and
                   by National Funds through the Portuguese funding
                   agency, FCT – Fundação para a Ciência e a
                   Tecnologia, within project
                   POCI-01-0145-FEDER-029946 (DaVinci). This work is
                   also partially supported by National Funds through
                   FCT/MCTES, within the CISTER Research Unit
                   (UIDB/04234/2020); by the Norte Portugal Regional
                   Operational Programme (NORTE 2020) under the
                   Portugal 2020 Partnership Agreement, through ERDF
                   and also by national funds through the FCT, within
                   project NORTE-01-0145-FEDER-028550 (REASSURE); and
                   by the Operational Competitiveness Programme and
                   Internationalization (COMPETE 2020) under the
                   PT2020 Partnership Agreement, through ERDF, and by
                   national funds through the FCT, within project
                   POCI-01-0145-FEDER-029119 (PReFECT).}},
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3818020},
  url          = {}
All versions This version
Views 549549
Downloads 100100
Data volume 141.4 MB141.4 MB
Unique views 537537
Unique downloads 9595


Cite as