Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols.
Nikolay V. PakulinAlexey V. KhoroshilovPublished in: Program. Comput. Softw. (2007)
Keyphrases
- formal models
- rule based systems
- human computer interactions
- expert systems
- management system
- spoken dialogue systems
- technical issues
- intelligent systems
- knowledge based systems
- neural network
- artificial intelligence
- computer systems
- development process
- enabling technologies
- support systems
- formal model
- human computer interaction
- rough sets
- computational intelligence
- data analysis
- case study
- machine learning