( en | de | ru )

 

Disambiguation of "Ravn, Anders P."

Author of the publication

copydeleteadd this publication to your clipboard
A Two-Way Path Between Formal and Informal Design of Embedded Systems.

, , , , and . UTP, volume 10134 of Lecture Notes in Computer Science, page 65-92. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Peter Hedegaard Ravn

Eduard Ravnikar

P Günther

P Kock

P Sanders

 

Other publications of authors with the same name

INTrEPID: A project on energy optimization in buildings., , and . VITAE, page 1-4. IEEE, (2014)Introduction to the special issue on Java technologies for real-time and embedded systems: JTRES2011., and . Concurr. Comput. Pract. Exp., 25 (16): 2225-2226 (2013)A real-time Java tool chain for resource constrained platforms., , and . Concurr. Comput. Pract. Exp., 26 (14): 2407-2431 (2014)Safety-critical Java with cyclic executives on chip-multiprocessors., and . Concurr. Comput. Pract. Exp., 24 (8): 772-788 (2012)Synchronization under a Commercial Operating System., , and . Softw. Pract. Exp., 9 (9): 729-740 (1979)Real-Time Constraints Through the ProCoS Layers., and . Correct System Design, volume 1710 of Lecture Notes in Computer Science, page 61-78. Springer, (1999)Action Systems with Continuous Behaviour., and . Hybrid Systems, volume 1567 of Lecture Notes in Computer Science, page 304-323. Springer, (1997)Unifying proof methodologies of duration calculus and timed linear temporal logic., , and . Formal Aspects Comput., 16 (2): 140-154 (2004)A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL., , and . ISoLA (1), volume 6415 of Lecture Notes in Computer Science, page 579-593. Springer, (2010)Specifying and verifying requirements of real-time systems., , and . SIGSOFT, page 44-54. ACM, (1991)