Author:
Taherkordi Amir,Herrmann Peter,Blech Jan Olaf,Férnandez Álvaro
Publisher
Springer International Publishing
Reference37 articles.
1. Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Appl. Intell. 17(3), 239–251 (2002)
2. Benveniste, A., et al.: Multiple viewpoint contract-based specification and design. In: Formal Methods for Components and Objects (2008)
3. Blech, J.O., et al.: Efficient incident handling in industrial automation through collaborative engineering. In: 2015 IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA) (2015)
4. Blech, J.O., et al.: BeSpaceD: towards a tool framework and methodology for the specification and verification of spatial behavior of distributed software component systems. ArXiv e-print abs/1404.3537 (2014)
5. Brataas, G., Hallsteinsen, S.O., Rouvoy, R., Eliassen, F.: Scalability of decision models for dynamic product lines. In: SPLC, vol. 2, Kindai Kagaku Sha (2007)