Structuring of Specification Modules (extended).

Razvan Diaconescu

Published in: Comput. Sci. J. Moldova (2015)

Keyphrases

modular architecture
high level
formal verification
advanced transaction models
databases
decision making
multiscale
formal specification