Semantics, distributed implementation, and formal analysis of KLAIM models in Maude

Document Details

Document Type
Pub Defense Publication
Publication Date
Mar 01, 2015
Source ID
10.1016/j.scico.2014.10.001

Entities

People

  • Jonas Eckhardt
  • José Meseguer
  • Martin Wirsing
  • Tobias Mühlbauer

Organizations

  • Air Force Office of Scientific Research
  • National Science Foundation