Verifying Erlang Code: A Resource Locker Case-Study.
Thomas ArtsClara Benac EarleJohn DerrickPublished in: FME (2002)
Keyphrases
- case study
- real world
- source code
- model checking
- resource constraints
- resource management
- lessons learned
- genetic algorithm
- resource allocation
- artificial intelligence
- knowledge management
- software development
- error detection
- information resources
- development process
- design process
- business processes
- management system
- wireless sensor networks
- learning algorithm