Static checking of safety critical Java annotations.
Daniel TangAles PlsekJan VitekPublished in: JTRES (2010)
Keyphrases
- safety critical
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- nuclear power plant
- agent architecture
- metadata
- adaptive systems
- regulatory requirements
- support systems
- programming language
- open source
- database applications
- source code
- real time
- object oriented
- web services
- learning systems
- distributed systems
- knowledge base