Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Missen, Malik M. Saad"'
Autor:
Akhtar, Nadeem, Missen, Malik M. Saad
Publikováno v:
European Journal of Scientific Research, ISSN 1450-216X / 1450-202X Vol.117 No.1 January, 2014, pp. 35-55
It is important to have multi-agent robotic system specifications that ensure correctness properties of safety and liveness. As these systems have concurrency, and often have dynamic environment, the formal specification and verification of these sys
Externí odkaz:
http://arxiv.org/abs/1604.05577
Publikováno v:
In Artificial Intelligence In Medicine June 2019 97:168-188
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.
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.
Autor:
Akhtar, Nadeem, Missen, Malik M. Saad
It is important to have multi-agent robotic system specifications that ensure correctness properties of safety and liveness. As these systems have concurrency, and often have dynamic environment, the formal specification and verification of these sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ed7c588e96a0b3577299ba2875bb42f
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:
Semantic Web: ESWC 2015 Satellite Events; 2015, p91-96, 6p