Login / Signup

Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study.

Heng KuangOlga OrmandjievaStan KlasaNoorulain KhurshidJamal Bentahar
Published in: SERA (selected papers) (2009)
Keyphrases