Optimal specification of a receiver blocks from global specifications: Example of IEEE 802.15.4.
Papy NdungidiUrsula DongmoFortunato DualibeCarlos ValderramaPublished in: ICECS (2010)
Keyphrases
- specification language
- high level
- formal specification
- optimal solution
- dynamic programming
- reactive systems
- attribute grammars
- transition systems
- concurrent systems
- operational semantics
- globally consistent
- block size
- intelligent agent technology
- code generation
- formal methods
- conceptual model
- software engineering
- computational complexity
- image sequences