Zobrazeno 1 - 10
of 146
pro vyhledávání: '"Paun, D."'
Autor:
Chechik, M., Paun, D.
Publikováno v:
Lecture notes in Computer Science (Proceedings of 6 Spin'99 Workshop)
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his collegues. The patterns enable non-experts to read and write formal specifications for realist
Externí odkaz:
http://arxiv.org/abs/cs/9906029
Autor:
Paun, D., Chechik, M.
Publikováno v:
Proceedings of 4th IEEE International Symposium on Requirements Engineering, June 1999, pp. 123-132
For over a decade, researchers in formal methods tried to create formalisms that permit natural specification of systems and allow mathematical reasoning about their correctness. The availability of fully-automated reasoning tools enables more non-sp
Externí odkaz:
http://arxiv.org/abs/cs/9906031
Publikováno v:
In Procedia - Social and Behavioral Sciences 13 May 2015 187:359-363
Autor:
Paun, D. L.1 dianaloreta_paun@yahoo.com, Petris, R.1, Terzea, D.2, Paun, S.1, Ganescu, R.1, Carsote, M.1, Dumitrache, C.1, Poiana, C.1
Publikováno v:
Acta Endocrinologica (1841-0987). 2013, Vol. 9 Issue 4, p565-573. 9p.
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:
Journal of Medicine and Life
Introduction. Lately, the in vitro and in vivo studies on serotonin metabolism pointed their influence in bone health. In addition, there are no particular recommendations in performing the serum serotonin assessment in order to evaluate the skeletal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid_dedup__::c388e96529cc132ed408c0754ecc580f
https://pubmed.ncbi.nlm.nih.gov/26361521
https://pubmed.ncbi.nlm.nih.gov/26361521
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.