System level design of telecom systems using formal model refinement: Applying the B method/language in practice.
Konstantinos AntonisNikos S. VorosPublished in: J. Syst. Archit. (2008)
Keyphrases
- formal model
- high accuracy
- building blocks
- programming language
- similarity measure
- probabilistic model
- cost function
- significant improvement
- pairwise
- knowledge based systems
- data sets
- dynamic programming
- evolutionary algorithm
- computational complexity
- computer systems
- objective function
- high precision
- formal methods