( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Faults Analysis in Distributed Systems - Quantitative Estimation of Reliability and Resource Requirements.

, , и . ICSOFT (SE/MUSE/GSDCA), стр. 45-52. INSTICC Press, (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.

Michael Hansen

Michael Hansen

Michael Hansen

Michael Hansen

Michael Hansen

 

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

An Adequate First Order Interval Logic., и . COMPOS, том 1536 из Lecture Notes in Computer Science, стр. 584-608. Springer, (1997)An Extended Duration Calculus for Hybrid Real-Time Systems., , и . Hybrid Systems, том 736 из Lecture Notes in Computer Science, стр. 36-59. Springer, (1992)Using interval logics for temporal analysis of security protocols., и . FMSE, стр. 24-31. ACM, (2003)Generation of ERP Systems from REA Specifications., , и . ICSOFT (ISDM/ABF), стр. 12-19. INSTICC Press, (2008)Timed Traces and Strand Spaces., и . CSR, том 4649 из Lecture Notes in Computer Science, стр. 373-386. Springer, (2007)Generating web-based systems from specifications., , и . SAC, стр. 1647-1653. ACM, (2004)A Theory of Duration Calculus with Application., и . Domain Modeling and the Duration Calculus, том 4710 из Lecture Notes in Computer Science, стр. 119-176. Springer, (2007)Semantics and Completeness of Duration Calculus., и . REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 209-225. Springer, (1991)Specification & Verification of Higher Order Processes., и . MFCS, том 452 из Lecture Notes in Computer Science, стр. 322-328. Springer, (1990)An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic., и . J. Log. Algebraic Methods Program., 84 (1): 2-18 (2015)