Zobrazeno 1 - 7
of 7
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