Publications

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

AuthID
P-00Q-YDP

Author(s)

Sanchez, C

Schneider, G

Ahrendt, W

Bartocci, E

Bianculli, D

Colombo, C

Falcone, Y

Francalanza, A

Krstic, S

Lourenco, JM

Nickovic, D

Pace, GJ

Rufino, J

Signoles, J

Traytel, D

Weiss, A

Document Type

Article

Year published

2019

Published

in FORMAL METHODS IN SYSTEM DESIGN, ISSN: 0925-9856

Volume: 54, Issue: 3, Pages: 279-335 (57)

Indexing

Wos^®

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/s10703-019-00337-w

Scopus: 2-s2.0-85070414944

Wos: WOS:000495699400001

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.

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

Useful Links

Get Help

Federated Authentication (Click on the image)

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

Useful Links

Get Help