( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification and Validation of a Simple Overtaking Protokol using LOTOS.

, , и . FORTE, том C-2 из IFIP Transactions, стр. 377-392. North-Holland, (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.

Julian Åkerman

Johan Åkesson

°Ake Örström

°Ake Fant

°Ake Svahn

 

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

Functional Testing of Java Programs., и . TFP, том 9547 из Lecture Notes in Computer Science, стр. 40-59. Springer, (2015)Formalising and Prototyping a Concurrent Object-Based Language., , и . LOMAPS, том 1192 из Lecture Notes in Computer Science, стр. 116-125. Springer, (1996)Execution and Verification of UML State Machines with Erlang., , , и . SEFM, том 8702 из Lecture Notes in Computer Science, стр. 284-289. Springer, (2014)Implementing a multiagent negotiation protocol in Erlang., , и . Erlang Workshop, стр. 69-74. ACM, (2010)Model Checking of Multi-Applet JavaCard Applications., , и . CARDIS, стр. 87-96. USENIX, (2002)Erlang as an implementation platform for BDI languages., , и . Erlang Workshop, стр. 1-10. ACM, (2012)Pitfalls of Jason Concurrency., , и . EMAS@AAMAS, том 11375 из Lecture Notes in Computer Science, стр. 19-33. Springer, (2018)Verification of Language Based Fault-Tolerance., и . EUROCAST, том 3643 из Lecture Notes in Computer Science, стр. 140-149. Springer, (2005)Verifying fault-tolerant Erlang programs., , и . Erlang Workshop, стр. 26-34. ACM, (2005)Automatic Grading of Programming Exercises using Property-Based Testing., , и . ITiCSE, стр. 47-52. ACM, (2016)