( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic generation of systemc models from component-based designs for early design validation and performance analysis.

, , , и . WOSP, стр. 139-144. ACM, (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.

Arnold Tautschnig

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)
 

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

CBMC - C Bounded Model Checker - (Competition Contribution)., и . TACAS, том 8413 из Lecture Notes in Computer Science, стр. 389-391. Springer, (2014)Partial Orders for Efficient BMC of Concurrent Software, , и . CoRR, (2013)Partial Orders for Efficient Bounded Model Checking of Concurrent Software., , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 141-157. Springer, (2013)Navigating the Requirements Jungle., и . ISoLA, том 17 из Communications in Computer and Information Science, стр. 354-368. Springer, (2008)Software Verification for Weak Memory via Program Transformation., , , и . ESOP, том 7792 из Lecture Notes in Computer Science, стр. 512-532. Springer, (2013)Software Verification for Weak Memory via Program Transformation, , , и . CoRR, (2012)FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement., , , и . CAV, том 5123 из Lecture Notes in Computer Science, стр. 209-213. Springer, (2008)Model Checking Boot Code from AWS Data Centers., , , , , и . CAV (2), том 10982 из Lecture Notes in Computer Science, стр. 467-486. Springer, (2018)Code-level model checking in the software development workflow at Amazon Web Services., , , , , , , , , и . Softw. Pract. Exp., 51 (4): 772-797 (2021)Reusing Information in Multi-Goal Reachability Analyses., , , и . Software Engineering, том P-227 из LNI, стр. 97-98. GI, (2014)