Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Formal verification of automotive embedded UML designs
Software applications are increasingly dominating safety critical domains. Safety critical domains are domains where the failure of any application could impact human lives. Software application safety has been overlooked for quite some time but more focus and attention is currently directed to this...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis |
| Published: |
AUC Knowledge Fountain
2018
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|