( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
(Real) Time: A Philosophical Perspective.

. REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 353-370. Springer, (1991)

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.

Ron Achterrath

Shlomo Ron

Ron Dietrich

Ron Sebastian

Ron Bershan

 

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

Specifying Message Passing and Time-Critical Systems with Temporal Logic. Lecture Notes in Computer Science Springer, (1992)A Small Step for Mankind., , и . Concurrency, Compositionality, and Correctness, том 5930 из Lecture Notes in Computer Science, стр. 66-73. Springer, (2010)(Real) Time: A Philosophical Perspective.. REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 353-370. Springer, (1991)Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks., , , и . Distributed Comput., 9 (4): 157-171 (1996)Specifying Real-Time Properties with Metric Temporal Logic.. Real Time Syst., 2 (4): 255-299 (1990)Real-Time Programming and Asynchronous Message Passing., , и . PODC, стр. 187-197. ACM, (1983)Paradigms for Real-time Systems., , и . FTRTFT, том 331 из Lecture Notes in Computer Science, стр. 159-174. Springer, (1988)Assessment of a Business-to-Consumer (B2C) model for Telemonitoring patients with Chronic Heart Failure (CHF)., , , , и . BMC Medical Informatics Decis. Mak., 17 (1): 145:1-145:13 (2017)Specifying Message Passing Systems Requires Extending Temporal Logic.. Temporal Logic in Specification, том 398 из Lecture Notes in Computer Science, стр. 213-223. Springer, (1987)Examples of a Real-Time Temporal Logic Specification., и . The Analysis of Concurrent Systems, том 207 из Lecture Notes in Computer Science, стр. 231-251. Springer, (1983)