Deadlock-freedom in component systems with architectural constraints.

Moritz Martens Mila E. Majster-Cederbaum

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

website
rule based systems
learning systems
database
data sets
artificial intelligence
search engine
expert systems
distributed systems
retrieval systems
software architecture