Non-interference on UML State-charts

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Ochoa, Martín Jürjens, Jan Cuéllar, J.

Book title:	50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012)
Series:	LNCS




@conference{OchoaJCTools12, author = "Mart{\'i}n Ochoa and Jan J{\"u}rjens and J. Cu{\'e}llar", booktitle = "50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012)", note = "PARTNERS: Siemens; PROJECTS: NESSoS, MoDelSec (RS3, DFG); Tier B; citations: 3", publisher = "Springer", series = "LNCS", title = "{N}on-interference on {UML} {S}tate-charts", year = "2012", }
Note:	PARTNERS: Siemens; PROJECTS: NESSoS, MoDelSec (RS3, DFG); Tier B; citations: 3
[Bibtex]