Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker.

Anh Tuan Luu Man Chun Zheng Thanh Tho Quan

Published in: SSIRI (2010)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
embedded systems
nuclear power plant
agent architecture
distributed systems
case study
data mining
cooperative
management system
support systems
learning environment
adaptive systems
expert systems
intelligent systems
information systems