Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude.

Muhammad Fadlisyah Peter Csaba Ölveczky Erika Ábrahám

Published in: SEFM (2011)

Keyphrases

object oriented
hybrid systems
search algorithm
computational intelligence
software engineering
mobile agents
black box