Cristin-resultat-ID: 2026063
Sist endret:
NVI-rapporteringsår: 2022
Resultat
Vitenskapelig artikkel
2022

Distributed runtime verification by past-CTL and the field calculus

Bidragsytere:
  • Giorgio Audrito
  • Ferruccio Damiani
  • Volker Stolz
  • Gianluca Torta og
  • Mirko Viroli

Tidsskrift

Journal of Systems and Software
ISSN 0164-1212
e-ISSN 1873-1228
NVI-nivå 2
Finn i kanalregisteret

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2022
Volum: 187

Lenker

original online (doi)

Importkilder

Scopus-ID: 2-s2.0-85124629641

Beskrivelse Beskrivelse

Tittel

Distributed runtime verification by past-CTL and the field calculus

Bidragsytere

Giorgio Audrito

  • Tilknyttet:
    Forfatter
    ved Università degli Studi di Torino

Ferruccio Damiani

  • Tilknyttet:
    Forfatter
    ved Università degli Studi di Torino
Aktiv cristin-person

Volker Stolz

  • Tilknyttet:
    Forfatter
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Gianluca Torta

  • Tilknyttet:
    Forfatter
    ved Università degli Studi di Torino

Mirko Viroli

  • Tilknyttet:
    Forfatter
    ved Italia
1 - 5 av 5