C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions.
Jonas Westman
Mattias Nyberg
Published in:
Requir. Eng. (2019)
Keyphrases
</>
safety critical
tool support
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
support systems
knowledge based systems
agent architecture
management system
distributed systems
design principles
database
knowledge management
adaptive systems
expert systems
real time