Suivre
Eldar Khalilov
Titre
Citée par
Citée par
Année
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–3