Publications

Poster Abstract: Revert: Runtime Verification for Real-Time Systems

AuthID
P-00M-Q1V

Author(s)

Kochanthara, S

Nelissen, G

Pereira, D

Purandare, R

Document Type

Proceedings Paper

Year published

2016

Published

in PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS)

Pages: 365-365 (1)

Conference

37Th Ieee Real-Time Systems Symposium (Rtss), Date: NOV 29-DEC 02, 2016, Location: Porto, PORTUGAL, Sponsors: IEEE, IEEE Comp Soc, IEEE Tech Comm Real Time Syst

Indexing

Wos^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/rtss.2016.42

Wos: WOS:000399156600035

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Poster Abstract: Revert: Runtime Verification for Real-Time Systems

Useful Links

Get Help

Federated Authentication (Click on the image)

Poster Abstract: Revert: Runtime Verification for Real-Time Systems

Useful Links

Get Help