A verification and deployment approach for elastic component-based applications
- Mohamed Graiet
- Lazhar Hamel
- et al.
- 2017
- Formal Aspects of Computing
Publications
Date
Featured collections
Popular topics
5 results at Formal Aspects of Computing
Deriving dense linear algebra libraries
- Paolo Bientinesi
- John A. Gunnels
- et al.
- 2013
- Formal Aspects of Computing
A Methodology for Designing Proof Rules for Fair Parallel Programs
- Charanjit S. Jutla
- Josyula R. Rao
- 1997
- Formal Aspects of Computing
Specifying distributed CICS in Z: Accessing local and remote resources
- Iain S.C. Houston
- Mark B. Josephs
- 1994
- Formal Aspects of Computing
Sequential to parallel buffer refinement
- Andrew Kay
- Peter Lupton
- 1992
- Formal Aspects of Computing