Author:
Altenhofen Michael,Brucker Achim D.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Abrial, J.R.: Modeling in Event-B: System and Software Design. Cambridge University Press, New York (2009)
2. Altenhofen, M., Börger, E.: Concurrent abstract state machines and +CAL programs. In: Recent Trends in Algebraic Development Techniques, pp. 1–17. Springer, Heidelberg (2009) doi 10.1007/978-3-642-03429-9_1
3. Lecture Notes in Computer Science;M. Altenhofen,2010
4. Altenhofen, M., Friesen, A., Lemcke, J.: ASMs in service oriented architectures. Journal of Universal Computer Science 14(12), 2034–2058 (2008)
5. Barnett, M., Leino, K.R.M., Schulte, W.: The Spec
$\sharp$
programming system: An overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.L., Muntean, T. (eds.) Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (CASSIS), pp. 49–69 doi 10.1007/b105030
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Teaching Formal Methods in Application Domains;Lecture Notes in Computer Science;2024
2. A Survey on Formal Specification of Security Requirements;2021 3rd International Conference on Advances in Computing, Communication Control and Networking (ICAC3N);2021-12-17
3. A review on security requirements specification by formal methods;Concurrency and Computation: Practice and Experience;2021-11-17
4. Bârun: A Scripting Language for CoreASM;Abstract State Machines, Alloy, B and Z;2010
5. Improving the Accessibility of Business Process Modelling Tools;Advances in Business Information Systems and Analytics