Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lecture Notes in Computer Science;M. Altenhofen,2009
2. Börger, E.: The ASM refinement method. Formal Aspects of Computing 15, 237–257 (2003)
3. Börger, E., Craig, I.: Modeling an operating system kernel. In: Diekert, V., Weicker, K., Weicker, N. (eds.) Informatik als Dialog zwischen Theorie und Anwendung, pp. 199–216. Vieweg+Teubner, Wiesbaden (2009)
4. Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
5. Craig, I.: Formal Models of Operating System Kernels. Springer, Heidelberg (2007)