Modelling Mobility with UML2.0 and PEPA Nets
Kloul, L., Kuster-Filipe, J.
Published in Sixth International Conference on Application of Concurrency to System Design (ACSD'06) (2006)
Published in Sixth International Conference on Application of Concurrency to System Design (ACSD'06) (2006)
Get full text
Conference Proceeding
Optimizing protocol rewrite rules of CIL specifications
Denker, G., Millen, J.K., Grau, A., Kuster Filipe, J.
Published in Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 (2000)
Published in Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13 (2000)
Get full text
Conference Proceeding