A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems.
Rocco De NicolaTan DuongOmar InversoFranco MazzantiPublished in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
- communication systems
- computer systems
- information processing systems
- blind equalization
- programming language
- multiple access
- underwater acoustic
- wireless channels
- channel estimation
- model checking
- programming environment
- ultra wideband
- communication technologies
- database
- computer programming
- smart grid
- object oriented programming
- maximum likelihood
- sensor networks
- user interface