Interaction-based Runtime Verification for Systems of Systems Integration
Ingolf Heiko Krüger, Michael Meisinger, Massimiliano Menarini · Journal of Logic and Computation · 2008
Journal Article Interaction-based Runtime Verification for Systems of Systems Integration Get access Ingolf H. Krüger, Ingolf H. Krüger Computer Science and Engineering Department, University of California, San Diego, La Jolla, CA 92093-0404, USA. Search for other works by this author on: Oxford Academic Google Scholar Michael Meisinger, Michael Meisinger Computer Science and Engineering Department, University of California, San Diego, La Jolla, CA 92093-0404, USA. Search for other works by this author on: Oxford Academic Google Scholar Massimiliano Menarini Massimiliano Menarini Computer Science and Engineering Department, University of California, San Diego, La Jolla, CA 92093-0404, USA. Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 20, Issue 3, June 2010, Pages 725–742, https://doi.org/10.1093/logcom/exn079 Published: 15 November 2008 Article history Received: 04 July 2008 Published: 15 November 2008