A brief account of runtime verification
From MaRDI portal
Publication:2390027
DOI10.1016/J.JLAP.2008.08.004zbMATH Open1192.68433OpenAlexW2101623441MaRDI QIDQ2390027
Author name not available (Why is that?)
Publication date: 20 July 2009
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2008.08.004
No records found.
No records found.
This page was built for publication: A brief account of runtime verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390027)
