Chemical Specification of Autonomic Systems.

Jean-Pierre Banâtre Yann Radenac Pascal Fradet

Published in: IASSE (2004)

Keyphrases

autonomic systems
autonomic computing systems
software systems
asynchronous circuits
real world
artificial intelligence
high level
formal specification
machine learning
data model
software development
specification language