( en | de | ru )

 

Disambiguierung von "Fredlund, Lars-Åke"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semi-Automated Verification of Erlang Code.

, , und . ASE, Seite 319-323. IEEE Computer Society, (2001)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Julian Åkerman

Johan Åkesson

°Ake Örström

°Ake Fant

°Ake Svahn

 

Weitere Publikationen von Autoren mit dem selben Namen

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