ALF formal.

Isabelle Perseil

Published in: Innov. Syst. Softw. Eng. (2011)

Keyphrases

real time
formal model
formal language
information systems
multi agent systems
hidden markov models
mathematical theory