Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.

Peter Csaba Ölveczky Artur Boronat José Meseguer

Published in: FMOODS/FORTE (2010)

Keyphrases

formal semantics
real time
modelling language
operational semantics
artificial intelligence
natural language
domain knowledge
learning experience
formal language