Verifying a signature architecture: a comparative case study.
David A. BasinHironobu KurumaKunihiko MiyazakiKazuo TakaragiBurkhart WolffPublished in: Formal Aspects Comput. (2007)
Keyphrases
- case study
- real time
- network architecture
- model checking
- software architecture
- software development
- architectural design
- distributed architecture
- design considerations
- business process
- management system
- knowledge management
- natural language
- image sequences
- artificial intelligence
- lessons learned
- temporal logic
- genetic algorithm
- real world
- databases
- database