![](/img/cover-not-exists.png)
[IEEE 2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI) - Kochi, India (2015.8.10-2015.8.13)] 2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI) - Behavioral analysis of Safety Critical Systems using formal methods
Shreesha Rao P,, Nanda, Manju, Jayanthi, JYear:
2015
Language:
english
DOI:
10.1109/ICACCI.2015.7275975
File:
PDF, 886 KB
english, 2015