Author of the publication

Formal Semantics for Interacting UML subsystems.

. FMOODS, volume 209 of IFIP Conference Proceedings, page 29-43. Kluwer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Reality of Libraries., and . CSMR, page 307-318. IEEE Computer Society, (2007)Model-Based Design and Analysis of Permission-Based Security., , and . ICECCS, page 224-233. IEEE Computer Society, (2005)Tools for Traceable Security Verification., , and . BCS Int. Acad. Conf., page 367-390. British Computer Society, (2008)Ontology-based Analysis of Compliance and Regulatory Requirements of Business Processes., , , , , and . CLOSER, page 553-561. SciTePress, (2013)Formal Semantics for Interacting UML subsystems.. FMOODS, volume 209 of IFIP Conference Proceedings, page 29-43. Kluwer, (2002)Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications., and . I3E, volume 202 of IFIP Conference Proceedings, page 489-505. Kluwer, (2001)Critical Systems Development with UML: Overview with Automatic Case Study., and . SNPD, page 512-517. ACIS, (2003)Developing High-Assurance Secure Systems with UML: A Smartcard-Based Purchase Protocol.. HASE, page 231-240. IEEE Computer Society, (2004)Modelling Audit Security for Smart-Cart Payment Schemes with UML-SEC.. SEC, volume 193 of IFIP Conference Proceedings, page 93-108. Kluwer, (2001)MoDeII: Modeling and Analyzing Time-Constraints., and . ECBS, page 299-306. IEEE Computer Society, (2005)