A desktop 3D printer in safety-critical Java.
Tórur Biskopstø StrømMartin SchoeberlPublished in: JTRES (2012)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- nuclear power plant
- agent architecture
- support systems
- source code
- programming language
- object oriented
- regulatory requirements
- database applications
- open source
- adaptive systems
- user interface
- information systems
- decision support system
- web services
- real time