Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software.
Carlos Mão de FerroAnastasia MavridouMichael DilleFrancisco MartinsPublished in: DSN-W (2023)
Keyphrases
- resource constrained
- mission critical
- real time systems
- embedded systems
- resource constraints
- resource limitations
- sensor networks
- wireless sensor networks
- real time
- data center
- software systems
- low cost
- software development
- multipath
- data centric
- data sets
- database
- spatial information
- distributed systems
- rfid tags
- data mining