Author:
Cavalcanti Ana,Zeyda Frank,Wellings Andy,Woodcock Jim,Wei Kun
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering,Control and Optimization,Computer Networks and Communications,Computer Science Applications,Modeling and Simulation,Control and Systems Engineering
Reference44 articles.
1. LNCS;MM Adams,2005
2. Bolton C (2005) Using the alloy analyzer to verify data refinement in Z. Electron Notes Theor Comput Sci 137(2):23–44
3. ACM special interest group on programming language;V Braberman,2008
4. Burns A (1999) The Ravenscar profile. Ada Lett XIX:49–52
5. Burns A, Wellings AJ (2007) Concurrent and real-time programming in Ada. Cambridge University Press, Cambridge
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hoare and He’s Unifying Theories of Programming;Theories of Programming;2021-10-02
2. : Specification and refinement of Safety-Critical Java programs;Science of Computer Programming;2019-07
3. Conformance test development with the Java modeling language;Concurrency and Computation: Practice and Experience;2017-02-02
4. Java in the Safety-Critical Domain;Engineering Trustworthy Software Systems;2017
5. UTP by Example: Designs;Engineering Trustworthy Software Systems;2017