Introduction to the Safecomp 2014 Workshop: DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS '14).
Francesco BrancatiNuno LaranjeiroÁbel HegedüsPublished in: SAFECOMP Workshops (2014)
Keyphrases
- case study
- management system
- distributed systems
- software developers
- computer systems
- retrieval systems
- complex systems
- historical perspective
- support systems
- knowledge based systems
- decision support
- software engineering
- information systems
- neural network
- model checking
- computing systems
- management information systems
- technological advances
- technical issues