Publications
] Filters: First Letter Of Title is S [Clear All Filters]
"Style-Based Modeling and Refinement of Service-Oriented Architectures",
Journal of Software and Systems Modelling, vol. 5, no. 2, pp. 187–207, June, 2006.
Abstract
"Style-Based Refinement of Dynamic Software Architectures",
Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture, Oslo, Norway, IEEE Computer Society, pp. 155-164, 2004.
Abstract
Acceptance rate: 30%
"Software Model Checking with a Combination of Explicit Values and Predicates",
Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 4–7, 01/2019.
Abstract
- « first
- ‹ previous
- 1
- 2
- 3
