Electronic Notes in Theoretical Computer Science Journal

publication venue for

Using Aspects for Enforcing Formal Architectural Invariants. 215:5-21. 2008
Foundations for Designing Secure Architectures. 142:31-46. 2006
A Generic Framework for Connector Architectures based on Components and Transformations. 108:53-67. 2004
A Case Study of a Formalized Security Architecture. 80:24-40. 2003
Citius altius fortius. 86:9-21. 2003
Agent Based Mathematical Reasoning1 1This work was partly supported by EPSRC grant GR/M22031.. 23:340-351. 1999

International Standard Serial Number (ISSN)

1571-0661