Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Laibinis, Linas"'
The increasing complexity of modern interlocking poses a major challenge to ensuring railway safety. This calls for application of formal methods forassurance and verification of their safety. We have developed an industry-strength toolset, called Sa
Externí odkaz:
http://arxiv.org/abs/2108.10091
Designing fault tolerance mechanisms for multi-agent systems is a notoriously difficult task. In this paper we present an approach to formal development of a fault tolerant multi-agent system by refinement in Event-B. We demonstrate how to formally s
Externí odkaz:
http://arxiv.org/abs/1210.7035
Publikováno v:
EPTCS 30, 2010, pp. 47-61
Wireless sensor-actor networks are a recent development of wireless networks where both ordinary sensor nodes and more sophisticated and powerful nodes, called actors, are present. In this paper we formalize a recently introduced algorithm that recov
Externí odkaz:
http://arxiv.org/abs/1007.5091
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.
Publikováno v:
In Information and Software Technology April 2015 60:51-76
Publikováno v:
In Science of Computer Programming 1 February 2014 80 Part A:25-49
Autor:
Iliasov, Alexei, Troubitsyna, Elena, Laibinis, Linas, Romanovsky, Alexander, Varpaaniemi, Kimmo, Ilic, Dubravka, Latvala, Timo
Publikováno v:
In Science of Computer Programming 1 July 2013 78(7):884-905
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.
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.
Engineering of dependable systems is an inherently heterogenous field and involves the use of a wide range of techniques to analyse different aspects of the system behaviour and properties. Various standards typically prescribe a set of techniques to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::39756cbfbf5dfe17a95286fb86715c3a
https://hal.science/hal-01226607
https://hal.science/hal-01226607