Author:
Letichevsky Alexander,Letychevskyi Oleksandr,Peschanenko Volodymyr,Weigert Thomas
Publisher
Springer International Publishing
Reference28 articles.
1. Baranov, S., Jervis, C., Kotlyarov, V.P., Letichevsky, A.A., Weigert, T.: Leveraging UML to deliver correct telecom applications in UML for real. In: Lavagno, L., Martin, G., Selic, B. (eds.) Design of Embedded Real-Time Systems, pp. 323–342. Springer, Heidelberg (2003)
2. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communications. Inf. Control 60(1/3), 109–137 (1984). Elsevier
3. Lecture Notes in Computer Science;L Cardelli,1998
4. Cousot, P., Cousot, R.: Abstract interpretation frameworks. J. Logic Comput. 2(4), 511–547 (1992)
5. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. CACM 18(8), 453–457 (1992)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic School of V.M. Glushkov and Insertion Modeling;Cybernetics and Computer Technologies;2023-12-04
2. Congnitive Networks, Their Properties and Applications in Attack Detection and Prevention Systems;Cybernetics and Systems Analysis;2023-09
3. Сучасні наукові проблеми кібербезпеки;Visnik Nacional noi academii nauk Ukrai ni;2023-02-20
4. Formal semantics and analysis of tokenomics properties;PROBLEMS IN PROGRAMMING;2022-12
5. Applying Algebraic Virtual Machine to Cybersecurity Tasks;2022 IEEE 9th International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT);2022-05-28