E-LIB Suche - Ergebnisse für: Nguyen, Viet Yen

1

Ecogeographical variations of the vegetative and floral tra..:

Nguyen, Viet Yen ; Rai, Rameshwar ; Kim, Jong-Hwa..
Journal of Plant Biotechnology. 48 (2021) 4 - p. 236-245 , 2021

Link: https://doi.org/10.5010/..

2

Atlastic Reputation AI: Four Years of Advancing and Applyin..:

, In: 2021 IEEE 8th International Conference on Data Science and Advanced Analytics (DSAA),

Nguyen, Viet Yen ; Duque, Andrea B. ; Belveze, Jules... - p. 1-2 , 2021

Link: https://doi.org/10.1109/..

3

Spacecraft early design validation using formal methods:

Bozzano, Marco ; Cimatti, Alessandro ; Katoen, Joost-Pieter...
Reliability Engineering & System Safety. 132 (2014) - p. 20-35 , 2014

Link: https://doi.org/10.1016/..

4

Trustworthy spacecraft design using formal methods

Aachener Informatik-Berichte ; 2012/17

Nguyen, Viet Yen , 2013

Link: http://nbn-resolving.de/..

5

Selected dynamic issues in software model checking:

Nguyen, Viet Yen ; Ruys, Theo C.
International Journal on Software Tools for Technology Transfer. 15 (2012) 4 - p. 337-362 , 2012

Link: https://doi.org/10.1007/..

6

Formal correctness, safety, dependability, and performance ..:

, In: Proceedings of the 34th International Conference on Software Engineering,

Esteve, Marie-Aude ; Katoen, Joost-Pieter ; Nguyen, Viet Yen.. - p. 1022-1031 , 2012

Link: https://dl.acm.org/doi/1..

7

Codesign of dependable systems : a component-based model..:

, In: Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign,

Bozzano, Marco ; Cimatti, Alessandro ; Roveri, Marco... - p. 121-130 , 2009

Link: https://dl.acm.org/doi/1..

8

Verification and performance evaluation of aadl models:

, In: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering,

Bozzano, Marco ; Cimatti, Alessandro ; Roveri, Marco... - p. 285-286 , 2009

Link: https://dl.acm.org/doi/1..

9

Karyotype and B chromosome variation in Lilium amabile Pali..:

Nguyen, Truong Xuan ; Kim, Bo Ram ; Park, Doo-Ri...
Genes & Genomics. 41 (2019) 6 - p. 647-655 , 2019

Link: https://doi.org/10.1007/..

10

Trustworthy spacecraft design using formal methods:

Nguyen, Viet Yen
info:eu-repo/semantics/altIdentifier/urn/urn:nbn:de:hbz:82-opus-47785. , 2013

Link: https://publications.rwt..

11

A Model Checker for AADL:

Bozzano, Marco ; Cimatti, Alessandro ; Katoen, Joost-Pieter...
url:https://www.openaccessrepository.it/communities/itmirror. , 2010

Link: https://www.openaccessre..

12

Unraveling the mechanism of photo-induced surface enhanced ..:

Tran, Van Tan ; Le, Minh Phuong ; Pham, Nguyen Hai...
Applied Surface Science. 657 (2024) - p. 159785 , 2024

Link: https://doi.org/10.1016/..

13

Enhance diclofenac removal in wastewater by photocatalyst p..:

Tra, Van Tung ; Pham, Van Thuong ; Tran, Thanh-Dai...
Case Studies in Chemical and Environmental Engineering. 8 (2023) - p. 100506 , 2023

Link: https://doi.org/10.1016/..

14

Simultaneous determination of paracetamol and diclofenac in..:

Nguyen Thanh Dong ; Nguyen Thi Thu Trang ; Nguyen Viet Hoang..
Vietnam Journal of Science and Technology. , 2023

Link: https://doi.org/10.15625..

15

What matters most? A qualitative study exploring priorities..:

Smith, Isabel ; Forse, Rachel ; Sidney Annerstedt, Kristi...
BMJ Open. 13 (2023) 8 - p. e076076 , 2023

Link: https://doi.org/10.1136/..