Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.

José Meseguer Raman Sharykin

Published in: HSCC (2006)

Keyphrases

hybrid systems
discrete event
meta learning
genetic algorithm
artificial intelligence
data analysis
object oriented
distributed systems
model selection
orders of magnitude
black box