Publications

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

Document Type

Article

Year published

2019

Published

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

Volume: 55, Issue: 1, Pages: 72

Indexing

Scopus^®

Dblp^®/en/publications/view/799135

Crossref^®1

Google Scholar^®

Metadata
Sources

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

Marked List

Add to Marked List

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)

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help