( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Designing reliable cyber-physical systems overview associated to the special session at FDL'16.

, , , , , , , , , , , , , , , , , , , и . FDL, стр. 1-8. IEEE, (2016)

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.

Mette Dueholm Sunesen

Ky ng Kim

Die Artikelstruktur in passiven zweisprachigen Wörterbüchern Deutsch-Koreanisch: Konzeption zur Erstellung eines zweisprachigen Lernerwörterbuchs Deutsch-Koreanisch. Uni Heidelberg, (2008)

Kim Gerber

Sunghun Kim

Taekwan Kim

 

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

Automated Logical Verification Based on Trace Abstractions., , и . PODC, стр. 101-110. ACM, (1996)A Case Study in Verification Based on Trace Abstractions., , и . Formal Systems Specification, том 1169 из Lecture Notes in Computer Science, стр. 341-373. Springer, (1994)Behavioural Equivalence for Infinite Systems - Partially Decidable!, и . Application and Theory of Petri Nets, том 1091 из Lecture Notes in Computer Science, стр. 460-479. Springer, (1996)A Temporal Logic Characterisation of Observational Determinism., , и . CSFW, стр. 3. IEEE Computer Society, (2006)Using VDMTools to Model and Validate the Cash Dispenser Example., , и . Formal Aspects Comput., 12 (4): 216-217 (2000)A generic drift reduction technique for orientation estimation from biomechanical angular velocity., , , , , и . BSN, стр. 1-4. IEEE, (2023)