![](/img/cover-not-exists.png)
[IEEE 2013 Ninth International Conference on Semantics, Knowledge and Grids (SKG) - Beijing, China (2013.10.3-2013.10.4)] 2013 Ninth International Conference on Semantics, Knowledge and Grids - Formal Verification of SCA Assembly Model with Event-B
Lahouij, Aida, Hamel, Lazhar, Graiet, MohamedYear:
2013
Language:
english
DOI:
10.1109/skg.2013.31
File:
PDF, 1.37 MB
english, 2013