( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Static Analysis for SystemC with Scoot: From Verification to Simulation.

. ETH Zurich, Zürich, Switzerland, (2010)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/72717).

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.

Tomasz Blanc

Ulrike Blanc

Eva Blanc

Ulrike Blanc

Olivier Blanc

 

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

Verifying C++ with STL containers via predicate abstraction., , и . ASE, стр. 521-524. ACM, (2007)Race analysis for systemc using model checking., и . ACM Trans. Design Autom. Electr. Syst., 15 (3): 21:1-21:32 (2010)Scoot: A Tool for the Analysis of SystemC Models., , и . TACAS, том 4963 из Lecture Notes in Computer Science, стр. 467-470. Springer, (2008)Smart pixels for real-time optical coherence tomography., , , , и . Three-Dimensional Image Capture and Applications, том 5302 из SPIE Proceedings, стр. 21-32. SPIE, (2004)Artificial intelligence, labour and society, , , , , , , , , и 13 other автор(ы). (2024)Social dialogue as a form of bottom-up governance for AI: the experience in France, и . Artificial intelligence, labour and society, глава 16, ETUI aisbl, Brussels, (марта 2024)Building a Crowdsourcing based Disabled Pedestrian Level of Service routing application using Computer Vision and Machine Learning., , , , , , , и . CCNC, стр. 1-5. IEEE, (2019)SVISS: Symbolic Verification of Symmetric Systems., , и . TACAS, том 4963 из Lecture Notes in Computer Science, стр. 459-462. Springer, (2008)Demonstration of a novel drift field pixel structure for the demodulation of modulated light waves with application in three-dimensional image capture., , , , и . Three-Dimensional Image Capture and Applications, том 5302 из SPIE Proceedings, стр. 9-20. SPIE, (2004)Static Analysis for SystemC with Scoot: From Verification to Simulation.. ETH Zurich, Zürich, Switzerland, (2010)base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/72717).