Publicações

Correction To: A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

AuthID
P-00R-CCZ

Author(s)

Sánchez, C

Schneider, G

Ahrendt, W

Bartocci, E

Bianculli, D

Colombo, C

Falcone, Y

Francalanza, A

Krstic, S

Lourenço, JM

Nickovic, D

Pace, GJ

Rufino, J

Signoles, J

Traytel, D

Weiss, A

Tipo de Documento

Article

Year published

2019

Publicado

in Formal Methods Syst. Des., ISSN: 0925-9856

Volume: 55, Número: 1, Páginas: 72

Indexing

Scopus^®

Dblp^®/pt/publications/view/799135

Crossref^®1

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/s10703-019-00343-y

DBLP: journals/fmsd/SanchezSABBCFFK19a

SCOPUS: 2-s2.0-85075177800

Source Identifiers

ISSN: 0925-9856

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Correction To: A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Correction To: A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

Links Úteis

Ajuda