Design and implementation of automatic verification for PLC systems.
Mo XiaMian SunGuiming LuoXibin ZhaoPublished in: ICCI*CC (2013)
Keyphrases
- highly modular
- design criteria
- implementation issues
- human computer interface
- efficient implementation
- control system
- industrial strength
- distributed systems
- computer systems
- building blocks
- current status
- expert systems
- design issues
- circuit design
- design methodologies
- support systems
- commercial systems
- design methodology
- hardware design
- interactive systems
- architectural design
- design process
- knowledge based systems
- formal methods
- design processes
- hardware architectures
- successful deployment
- parallel distributed
- computer aided software engineering
- digital circuits
- rapid prototyping
- real time
- software design
- embedded systems
- complex systems
- learning systems
- software engineering
- information systems
- artificial intelligence