Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Runtime Conformance Checking o...

Treffer: Runtime Conformance Checking of Objects Using Alloy

Title:
Runtime Conformance Checking of Objects Using Alloy
Authors:
Crane, Michelle L. 1, Dingel, Juergen 1
Source:
In Electronic Notes in Theoretical Computer Science October 2003 89(2):2-21
Database:
ScienceDirect