Author:
Alzahrani Nasser,Spichkova Maria,Blech Jan Olaf
Publisher
Springer International Publishing
Reference28 articles.
1. Blech, J., Peake, I., Schmidt, H., Kande, M., Rahman, A., Ramaswamy, S., Sudarsan, S., Narayanan, V.: Efficient incident handling in industrial automation through collaborative engineering. In: IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA). IEEE Computer (2015)
2. Blech, J.O.: An example for BeSpaceD and its use for decision support in industrial automation (2015)
3. Blech, J.O., Schmidt, H.: BeSpaceD: towards a tool framework and methodology for the specification and verification of spatial behavior of distributed software component systems (2014)
4. Bowen, J.P., Hinchey, M.G.: Seven more myths of formal methods. IEEE Softw. 12(4), 34 (1995)
5. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New York (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ADS4all: Democratizing Authenticated Data Structures;Lecture Notes in Computer Science;2020
2. Towards Formal Specification of CAN Protocol;Innovation in Medicine and Healthcare Systems, and Multimedia;2019
3. Model-Based Analysis of Temporal Properties;Communications in Computer and Information Science;2018
4. From Temporal Models to Property-based Testing;Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering;2017