Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Anca Zamfir"'
Autor:
Laura Buburuzan, Maria-Anca Zamfir (Irofei), Carmen Maria Ardeleanu, Alin Horatiu Muresan, Florina Vasilescu, Ariana Hudita, Marieta Costache, Bianca Galateanu, Alexandra Puscasu, Alexandru Filippi, Natalia Motas
Publikováno v:
Cancers; Volume 14; Issue 24; Pages: 6084
Lung cancer ranks second worldwide after breast cancer and third in Europe after breast and colorectal cancers when both sexes and all ages are considered. In this context, the aim of this study was to emphasize the power of dual analysis of the mole
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::502b2dd4c00ca47c4b898f12ada7788a
https://doi.org/10.3390/cancers14246084
https://doi.org/10.3390/cancers14246084
Autor:
Josef Widder, Igor Konnov, Sean Braithwaite, Ethan Buchman, Zarko Milosevic, Ilina Stoilkovska, Anca Zamfir
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles ISBN: 9783030613617
ISoLA (1)
ISoLA (1)
Blockchain synchronization is one of the core protocols of Tendermint blockchains. We describe our recent efforts on formal specification of the protocol and its implementation, and present model checking results for small parameters. We demonstrate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a7112815498a9c4c732260892b83305
https://doi.org/10.1007/978-3-030-61362-4_27
https://doi.org/10.1007/978-3-030-61362-4_27
Identification and treatment of application flows are important to many application providers and network operators. They often rely on these capabilities to deploy and/or support a wide range of applications. These applications generate flows that m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c290d872ca0133fd5312ae1e8b46a725
https://doi.org/10.4018/978-1-4666-8371-6.ch006
https://doi.org/10.4018/978-1-4666-8371-6.ch006