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