Towards Modularized Verification of Distributed Time-Triggered Systems.
Jewgenij BotaschanjanAlexander GrulerAlexander HarhurinLeonid KofMaria SpichkovaDavid TrachtenherzPublished in: FM (2006)
Keyphrases
- distributed systems
- management system
- complex systems
- neural network
- open systems
- mission critical
- computing environments
- expert systems
- learning systems
- cooperative
- distributed environment
- high scalability
- distributed object
- highly distributed
- distributed computation
- multimodal biometrics
- automated verification
- data intensive
- distributed data
- computing systems
- communication cost
- retrieval systems
- software engineering
- mobile devices
- multi agent
- artificial intelligence
- genetic algorithm