Zobrazeno 1 - 10
of 1 497
pro vyhledávání: '"Meo M."'
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 Materials Today: Proceedings 2021 34 Part 1:164-170
Publikováno v:
In Materials Today: Proceedings 2021 34 Part 1:260-265
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 Composite Structures 15 October 2019 226
Publikováno v:
In Composite Structures 15 August 2019 222
Publikováno v:
In Aerospace Science and Technology April 2018 75:35-46
Publikováno v:
In Ultrasonics January 2018 82:239-245
A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on modalities which allow one to specify what a process produces as a reaction to what its environment inputs. These modalit
Externí odkaz:
http://arxiv.org/abs/cs/0208042
