A Formal Specification of the Hormone Loop of an Artificial Hormone System.

Mathias Pacher Uwe Brinkschulte

Published in: ESOS (2013)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
formal methods
data abstraction
reverse engineering
process algebra
real world
concurrent systems
software components
artificial intelligence
fine grained
open source
business rules