Logo eprints

Items where Author is "Varró, Dániel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: 2011 | 2008
Number of items: 2.

2011

Gilmore, Stephen and Gönczy, László and Koch, Nora and Mayer, Philip and Tribastone, Mirco and Varró, Dániel Non-functional properties in the model-driven development of service-oriented systems. Software & Systems Modeling, 10 (3). pp. 287-311. ISSN 1619-1366 (2011)

2008

Wirsing, Martin and Hölzl, Matthias and Acciai, Lucia and Banti, Federico and Clark, Allan and Fantechi, Alessandro and Gilmore, Stephen and Gnesi, Stefania and Gönczy, László and Koch, Nora and Lapadula, Alessandro and Mayer, Philip and Mazzanti, Franco and Pugliese, Rosario and Schroeder, Andreas and Tiezzi, Francesco and Tribastone, Mirco and Varró, Dániel SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008). Communications in Computer and Information Science, 17 . Springer, pp. 170-190. ISBN 978-3-540-88478-1 (2008)

This list was generated on Sat May 18 00:20:52 2024 CEST.