From Safety Critical Java Programs to Timed Process Models.
Bent ThomsenKasper Søe LuckowLone Leth ThomsenThomas BøgholmPublished in: Programming Languages with Applications to Biology and Security (2015)
Keyphrases
- safety critical
- java programs
- process model
- petri net
- fault tolerant
- formal methods
- multi threaded
- agent architecture
- process mining
- embedded systems
- support systems
- software components
- business process
- business processes
- adaptive systems
- design patterns
- low cost
- test suite
- real time
- artificial neural networks
- cooperative
- case study
- information systems
- data mining