![](/img/cover-not-exists.png)
[IEEE 2014 International Conference on Contemporary Computing and Informatics (IC3I) - Mysore, India (2014.11.27-2014.11.29)] 2014 International Conference on Contemporary Computing and Informatics (IC3I) - Architectural semantics of AADL using Event-B
D'Souza, Meenakshi, Ramesh, S., Satpathy, ManoranjanYear:
2014
Language:
english
DOI:
10.1109/ic3i.2014.7019780
File:
PDF, 788 KB
english, 2014