Architecture for model-based UHF RFID system design verification.
Vojtech DerbekJosef Preishuber-PflueglChristian StegerMarkus PistauerPublished in: ECCTD (2005)
Keyphrases
- distributed architecture
- software architecture
- design considerations
- case study
- formal verification
- architectural design
- user interface
- design principles
- engineering design
- data sets
- design goals
- formal methods
- functional verification
- multi agent architecture
- vlsi architecture
- design decisions
- management system
- information systems