DocumentCode :
3588154
Title :
Formal methods
fYear :
2014
Firstpage :
305
Lastpage :
305
Abstract :
Start of the above-titled section of the conference proceedings record.
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH), 2014 International Conference on
Type :
conf
Filename :
7095037
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3588154
