![](/img/cover-not-exists.png)
[IEEE 2011 IEEE 11th International Conference on Computer and Information Technology (CIT) - Paphos, Cyprus (2011.08.31-2011.09.2)] 2011 IEEE 11th International Conference on Computer and Information Technology - ArchMDE Approach for the Formal Verification of Real Time Systems
Elleuch, Nourchène, Khalfallah, Adel, Ahmed, Samir BenYear:
2011
Language:
english
Pages:
6
DOI:
10.1109/cit.2011.39
File:
PDF, 1.05 MB
english, 2011