Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Degerlund, Fredrik"'
Publikováno v:
EPTCS 55, 2011, pp. 166-182
Event-B is a refinement-based formal method that has been shown to be useful in developing concurrent and distributed programs. Large models can be decomposed into sub-models that can be refined semi-independently and executed in parallel. In this pa
Externí odkaz:
http://arxiv.org/abs/1106.4100
Publikováno v:
International Journal of Pervasive Computing and Communications, 2008, Vol. 4, Issue 1, pp. 92-109.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/17427370810873138
Autor:
Degerlund, Fredrik
Publikováno v:
In Electronic Notes in Theoretical Computer Science 6 July 2007 179:87-96
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Degerlund, Fredrik
Publikováno v:
Distributed Applications & Interoperable Systems (9783642308222); 2012, p177-184, 8p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Jones, Cliff B., Liu, Zhiming, Woodcock, Jim, Degerlund, Fredrik, Sere, Kaisa
Publikováno v:
Theoretical Aspects of Computing - ICTAC 2007; 2007, p154-168, 15p
Publikováno v:
International Journal of Pervasive Computing & Communications; 2008, Vol. 4 Issue 1, p92-109, 18p
Autor:
Dimitra Giannakopoulou, Dominique Mery
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully
Autor:
Karl Michael Göschka, Seif Haridi
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2012, held in Stockholm, Sweden, in June 2012 as one of the DisCoTec 2012 events. The 12 revis
This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011. The 28 revised full papers presented were carefully reviewed and selected from 78 s