Zobrazeno 1 - 10
of 297
pro vyhledávání: '"J M Bruel"'
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 39-54 (2018)
The verification of many practical systems - in particular, embedded systems - involves processes executing over time, for which it is common to use models based on temporal logic, in either its linear (LTL) or branching (CTL). Some of today’s most
Externí odkaz:
https://doaj.org/article/ac96201f76a64f478f99eebf0a9fc0a3
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.
Publikováno v:
Gastroentérologie Clinique et Biologique. 31:47-52
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b96b5accb2faafcb2e7790555cb5bbbd
https://doi.org/10.1016/s0399-8320(07)91951-x
https://doi.org/10.1016/s0399-8320(07)91951-x
Publikováno v:
Gastroentérologie Clinique et Biologique. 31:15-19
Le diagnostic exact et precis de la poussee de diverticulite ducolon est un element fondamental dans la strategie de prise encharge. Le choix des propositions therapeutiques depend en effetde la gravite des poussees et du nombre de celles-ci [1]. L
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e6ddf7a3ee9e6bb1634f1c9eefe15fc
https://doi.org/10.1016/s0399-8320(07)91947-8
https://doi.org/10.1016/s0399-8320(07)91947-8
Autor:
Martine Mattei-Gazagnes, Frédérique Vivens, J M Bruel, Patrice Taourel, Franc¸ois-Michel Lopez, Christophe Thiebaut
Publikováno v:
EMC - Radiologie et imagerie médicale - Abdominale - Digestive. 1:1-7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f923fa91035f11eebf546f0397d4038e
https://doi.org/10.1016/s1879-8527(06)74719-0
https://doi.org/10.1016/s1879-8527(06)74719-0
Autor:
A. Lesnik, Patrice Taourel, J M Bruel, Franc¸ois-Michel Lopez, Paul-Marie Blayac, Nicolas Kessler
Publikováno v:
EMC - Radiologie et imagerie médicale - Abdominale - Digestive. 1:1-7
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ddb71f2996f242c1e4956c94e66dbb3
https://doi.org/10.1016/s1879-8527(06)74702-5
https://doi.org/10.1016/s1879-8527(06)74702-5
Publikováno v:
EMC - Radiologie et imagerie médicale - Abdominale - Digestive. 1:1-20
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b83e72cfd4975eb2fe6a9fbec924b89
https://doi.org/10.1016/s1879-8527(06)74711-6
https://doi.org/10.1016/s1879-8527(06)74711-6