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

Submitted by jdella on November 26, 2013 - 4:48 pm
TitleA Formal Specification of the Hormone Loop of an Artificial Hormone System
Publication TypeConference Paper
Year of Publication2013
AuthorsPacher M, Brinkschulte U
Conference Name2013 Workshop on Embedded Self-Organizing Systems (ESOS 13)
Date Published06/2013
PublisherUSENIX Association
Conference LocationSan Jose, CA
URLhttps://www.usenix.org/conference/esos13/workshop-program/presentation/pacher