( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Vacuity analysis for property qualification by mutation of checkers.

, , и . DATE, стр. 478-483. IEEE Computer Society, (2010)

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.

Luigi Di Matteo

Guglielmo Bruni

Guglielmo Restelli

Guglielmo Tino

Francesca Guglielmo

 

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

Model-driven design and validation of embedded software., , , , , , и . AST, стр. 98-104. ACM, (2011)Vacuity analysis for property qualification by mutation of checkers., , и . DATE, стр. 478-483. IEEE Computer Society, (2010)Correct-by-construction code generation from hybrid automata specification., , , и . IWCMC, стр. 1660-1665. IEEE, (2011)Vacuity Analysis by Fault Simulation., , и . MEMOCODE, стр. 27-36. IEEE Computer Society, (2008)Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata., , и . FedCSIS, стр. 1369-1376. (2013)DDPSL: An easy way of defining properties., , , и . ICCD, стр. 468-473. IEEE Computer Society, (2010)HIFSuite: Tools for HDL code conversion and manipulation., , , , , , , и . HLDVT, стр. 40-41. IEEE Computer Society, (2010)UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration., , , , и . IEEE Trans. Computers, 62 (2): 225-241 (2013)Enabling dynamic assertion-based verification of embedded software through model-driven design., , , и . DATE, стр. 212-217. IEEE, (2012)Reusing of Properties after Discretization of Hybrid Automata., , и . MTV, стр. 10-15. IEEE Computer Society, (2011)