Æȷοì
Eldar Khalilov
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Modeling and optimizing automotive electric/electronic (e/e) architectures: Towards making clafer accessible to practitioners
E Khalilov, J Ross, M Antkiewicz, M Völter, K Czarnecki
Leveraging Applications of Formal Methods, Verification and Validation ¡¦, 2016
52016
WaterlooClarke: TREC 2015 Clinical Decision Support Track.
A Ghenai, E Khalilov, P Valov, CLA Clarke
TREC, 2015
32015
ClaferMPS: Modeling and Optimizing Automotive Electric/Electronic Architectures Using Domain-Specific Languages
E Khalilov
University of Waterloo, 2017
2017
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–3