A Verification Methodology for Reconfigurable Systems.
Michele BorgattiAndrea FedeliUmberto RossiJean-Luc LambertImed MoussaFranco FummiCristina MarconciniGraziano PravadelliPublished in: MTV (2004)
Keyphrases
- expert systems
- distributed systems
- trading systems
- statistical machine learning
- knowledge based systems
- retrieval systems
- security systems
- formal methods
- automated verification
- genetic algorithm
- multimodal biometrics
- finite state machines
- mathematical models
- model checking
- complex systems
- low cost
- management system