TeSSLa — An Ecosystem for Runtime Verification
Title: | TeSSLa — An Ecosystem for Runtime Verification 22nd International conference on runtime verification, RV 2022 |
---|---|
Authors: | Kallwies, Hannes, Leucker, Martin, Schmitz, Malte, Schulz, Albert, Thoma, Daniel, Weiss, Alexander |
Source: | Lecture notes in computer science. 13498:314-324 |
Availability: | http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN608169633&indx=1&recIds=ETOCCN608169633 |
Database: | British Library Document Supply Centre Inside Serials & Conference Proceedings |
Be the first to leave a comment!