Old Web
English
Sign In
Acemap
>
Paper
>
Automatic Implementation of Distributed Systems Formal Specifications.
Automatic Implementation of Distributed Systems Formal Specifications.
1999
Antônio Carlos Lima de Santana
Luiz Henrique Castelo Branco
Antonio Francisco do Prado
Wanderley Lopes de Souza
Marcelo Sant Anna
Keywords:
Computer science
Formal methods
Quality assurance
Refinement
Distributed computing
Formal specification
Formal verification
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]