( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification-based Verification of Embedded Systems by Automated Test Case Generation.

, , , , и . DIPES, том 271 из IFIP, стр. 35-44. Springer, (2008)

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.

Markus Markus

Markus Kurscheidt

Ökonomische Analyse von Sportgroßveranstaltungen: ein integrierter Evaluierungs- und Management-Ansatz am Beispiel von Fußball-Weltmeisterschaften. Uni Paderborn, (2007)

Markus Perling

Cohomology vanishing and exceptional sequences. Uni Bochum, habilitation, (2009)

Markus Knauer

Struktur-Reaktivitäts-Korrelation von Dieselruß und Charakterisierung von PAHs und Carbonylen im Abgas von Biokraftstoffen. TU München, (2010)

Markus Niemann

From Anomalous Deterministic Diffusion to the Continuous-Time Random Walk. Uni Wuppertal, (2009)
 

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

Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML., , , , , и . PECCS, стр. 70-75. SciTePress, (2016)Lifetime Extension of Higher Class UHF RFID Tags using special Power Management Techniques and Energy Harvesting Devices., , , и . Power-aware Computing Systems, том 07041 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)A Novel Embedded Platform for Secure and Privacy-Concerned Cross-Domain Service Access., , и . IV, стр. 1961-1967. IEEE, (2019)Specification-based Verification of Embedded Systems by Automated Test Case Generation., , , , и . DIPES, том 271 из IFIP, стр. 35-44. Springer, (2008)SaVeSoC: safety aware virtual prototype generation and evaluation of a system on chip., , , , , и . SpringSim (Mod4Sim), стр. 7:1-7:12. ACM, (2017)Automatic Generation of a Verification Platform., , , и . FDL, стр. 153-165. ECSI, (2005)A software performance simulation methodology for rapid system architecture exploration., , , , , и . ICECS, стр. 494-497. IEEE, (2008)Searching Extended IP-XACT Components for SoC Design Based on Requirements Similarity., , , , , , и . IEEE Syst. J., 5 (1): 70-79 (2011)Automated simulation-based verification of power requirements for Systems-on-Chips., , , , , и . DDECS, стр. 8-11. IEEE Computer Society, (2010)A Decentralized Service-Platform towards Cross-Domain Entitlement Handling., , и . Blockchain, стр. 455-462. IEEE, (2019)