( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Practical multiverse debugging through user-defined reductions: application to UML models.

, , , , , и . MoDELS, стр. 87-97. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jürgen Ciprian

Evgenij Teodorov

Ciprian Neagoe

Ciprian Zafiu

Ciprian Roman

 

Другие публикации лиц с тем же именем

Modular deployment of UML models for V&V activities and embedded execution., , , , , и . MoDELS (Companion), стр. 81:1-81:10. ACM, (2020)Collaborative Live Modelling by Language-Agnostic Versioning., , , , и . MoDELS (Companion), стр. 364-374. IEEE, (2023)From OCL-based model static analysis to quick fixes., , , , , и . MoDELS (Companion), стр. 889-893. ACM, (2022)A Domain-specific Modeling Framework for Attack Surface Modeling., , , , , , , , , и . ICISSP, стр. 341-348. SCITEPRESS, (2020)Context-Aware Verification of a Landing Gear System., и . ABZ (Case Study), том 433 из Communications in Computer and Information Science, стр. 52-65. Springer, (2014)Designing, animating, and verifying partial UML Models., , , , , и . MoDELS, стр. 211-217. ACM, (2020)Virtual prototyping of R2D NASIC based FPGA., и . NANOARCH, стр. 179-180. IEEE Computer Society/ACM, (2014)Early Validation Framework for Critical and Complex Process-Centric Systems., , и . BPMDS/EMMSAD@CAiSE, том 352 из Lecture Notes in Business Information Processing, стр. 35-50. Springer, (2019)Towards a Dynamic Infrastructure for Playing with Systems of Systems., , , и . ECSA Workshops, стр. 31:1-31:4. ACM, (2014)MDE-based FPGA physical design: fast model-driven prototyping with Smalltalk., и . IWST, стр. 7:1-7:13. ACM, (2011)