( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Ada 95 and Critical Systems: An Analytical Approach.

, , и . Ada-Europe, том 1088 из Lecture Notes in Computer Science, стр. 171-182. Springer, (1996)

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.

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)

Mark Yampolskiy

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Ana Markovi

Experimental and theoretical analysis of the mass transport through porous glass membranes with different pore diameters. Uni Magdeburg, (2009)

Mark Meisel

 

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

CHEPROO: A Fortran 90 object-oriented module to solve chemical processes in Earth Science models., , , , и . Comput. Geosci., 35 (6): 1098-1112 (2009)Using analytical approaches for high integrity Ada95 systems., , и . IRTAW, стр. 65-70. ACM, (1997)Guidance on the Use of Ada95 in High Integrity Systems., и . Ada-Europe, том 1411 из Lecture Notes in Computer Science, стр. 276-287. Springer, (1998)Eves System Description., , , , и . CADE, том 607 из Lecture Notes in Computer Science, стр. 771-775. Springer, (1992)EVES: An Overview., , , , и . VDM Europe (1), том 551 из Lecture Notes in Computer Science, стр. 389-405. Springer, (1991)Ada 95 and Critical Systems: An Analytical Approach., , и . Ada-Europe, том 1088 из Lecture Notes in Computer Science, стр. 171-182. Springer, (1996)m-EVES: A Tool for Verifying Software., , , , , и . ICSE, стр. 324-333. IEEE Computer Society, (1988)General results on the divisibility of low weight polynomials in Fqx., и . Finite Fields Their Appl., (2020)The EVES System., , , , и . Functional Programming, Concurrency, Simulation and Automated Reasoning, том 693 из Lecture Notes in Computer Science, стр. 349-373. Springer, (1993)Z and Eves.. Z User Workshop, стр. 223-242. Springer, (1991)