Publications

Online Verification Through Model Checking of Medical Critical Intelligent Systems

AuthID
P-00S-JJK

Author(s)

Martins, J

Barbosa, R

Lourenço, N

Robin, J

Madeira, H

Document Type

Proceedings Paper

Year published

2020

Published

in 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2020, Valencia, Spain, June 29 - July 2, 2020 in DSN Workshops

Pages: 32-37

Conference

50Th Annual Ieee/Ifip International Conference on Dependable Systems and Networks, Dsn-W 2020, Date: 29 June 2020 through 2 July 2020

Indexing

Scopus^®

Dblp^®/en/publications/view/838227

Crossref^®4

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/dsn-w50199.2020.00015

DBLP: conf/dsn/MartinsB0RM20

SCOPUS: 2-s2.0-85092605892

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Online Verification Through Model Checking of Medical Critical Intelligent Systems

Useful Links

Get Help

Federated Authentication (Click on the image)

Online Verification Through Model Checking of Medical Critical Intelligent Systems

Useful Links

Get Help