( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CPSDebug: Automatic failure explanation in CPS models.

, , , , и . Int. J. Softw. Tools Technol. Transf., 23 (5): 783-796 (2021)

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.

Cristinel Sandu

Cristinel Ionut Dobre

 

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

Progress Report on the Disjunctive Deductive Database System dlv., , , , и . FQAS, том 1495 из Lecture Notes in Computer Science, стр. 148-163. Springer, (1998)Extending Disjunctive Logic Programming by T-norms.. LPNMR, том 1730 из Lecture Notes in Computer Science, стр. 290-304. Springer, (1999)Sampling of shape expressions with ShapEx., , , , и . MEMOCODE, стр. 118-125. ACM, (2021)Shape Expressions for Specifying and Extracting Signal Features., , , , и . RV, том 11757 из Lecture Notes in Computer Science, стр. 292-309. Springer, (2019)The dlv System: Model Generator and Advanced Frontends (system description)., , , , , , , , и . WLP, Ludwig Maximilians Universität München, (1997)CPSDebug: Automatic failure explanation in CPS models., , , , и . Int. J. Softw. Tools Technol. Transf., 23 (5): 783-796 (2021)Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study., , , , , и . CODES+ISSS, стр. 21-24. IEEE, (2022)Mining Shape Expressions with ShapeIt., , , , , и . SEFM, том 13085 из Lecture Notes in Computer Science, стр. 110-117. Springer, (2021)Modeling Java Programs for Diagnosis., , и . ECAI, стр. 171-175. IOS Press, (2000)Unification of Bounded Simple Set Terms in Deductive Databases., , и . Logic in Databases, том 1154 из Lecture Notes in Computer Science, стр. 435-453. Springer, (1996)