• Medientyp: E-Artikel
  • Titel: Runtime Verification: Internal versus External DSLs for Trace Analysis
  • Beteiligte: Barringer, Howard; Havelund, Klaus
  • Erschienen: Springer Berlin Heidelberg, 2012
  • Erschienen in: Runtime Verification
  • Sprache: Nicht zu entscheiden
  • DOI: 10.1007/978-3-642-29860-8_1
  • ISSN: 0302-9743; 1611-3349
  • Entstehung:
  • Anmerkungen: