Karyotype and B chromosome variation in Lilium amabile Palibin von Nguyen, Truong Xuan, Kim, Bo Ram, Park, Doo-Ri, Kim, Young-Kyu, Nguyen, Viet-Yen, Na, Jong-Kook, Kim, Nam-Soo, Kim, Jong-Hwa

Volltext

Spacecraft early design validation using formal methods von Bozzano, Marco, Cimatti, Alessandro, Katoen, Joost-Pieter, Katsaros, Panagiotis, Mokos, Konstantinos, Nguyen, Viet Yen, Noll, Thomas, Postma, Bart, Roveri, Marco

Volltext

Safety, Dependability and Performance Analysis of Extended AADL Models von Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V. Y., Noll, T., Roveri, M.

Volltext

Ecogeographical variations of the vegetative and floral traits of Lilium amabile Palibian von Nguyen, Viet Yen, Rai, Rameshwar, Kim, Jong-Hwa, Kim, Ji-Young

Volltext

Formal correctness, safety, dependability, and performance analysis of a satellite von Esteve, M., Katoen, J-P, Viet Yen Nguyen, Postma, B., Yushtein, Y.

Volltext

Characterization of Failure Effects on AADL Models von Ern, Bernhard, Nguyen, Viet Yen, Noll, Thomas

Volltext

A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models von Bohlender, Dimitri, Bruintjes, Harold, Junges, Sebastian, Katelaan, Jens, Nguyen, Viet Yen, Noll, Thomas

Volltext

Ecogeographical variations of the vegetative and floral traits of Lilium amabile Palibian von Nguyen, Viet Yen, Rai, Rameshwar, Kim, Jong-Hwa, Kim, Ji-Young, Na, Jong-Kuk

Volltext

ESTIMATION OF VARIABILITY ANALYSIS PARAMETERS FOR MAJOR GROWTH AND FLOWERING TRAITS OF Lilium leichtlinii var. maximowiczii GERMPLASM von Rai, Rameshwar, Nguyen, Viet Yen, Kim, Jong Hwa

Volltext

Selected dynamic issues in software model checking von Nguyen, Viet Yen, Ruys, Theo C.

Volltext

The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems von Bozzano, Marco, Cimatti, Alessandro, Katoen, Joost-Pieter, Nguyen, Viet Yen, Noll, Thomas, Roveri, Marco

Volltext

Compositional Analysis Using Component-Oriented Interpolation von Nguyen, Viet Yen, Bittner, Benjamin, Katoen, Joost-Pieter, Noll, Thomas

Volltext

Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report von Dulat, Falko, Katoen, Joost-Pieter, Nguyen, Viet Yen

Volltext

Memoised Garbage Collection for Software Model Checking von Nguyen, Viet Yen, Ruys, Theo C.

Volltext

A Model Checker for AADL von Bozzano, Marco, Cimatti, Alessandro, Katoen, Joost-Pieter, Nguyen, Viet Yen, Noll, Thomas, Roveri, Marco, Wimmer, Ralf

Volltext

Incremental Hashing for Spin von Nguyen, Viet Yen, Ruys, Theo C.

Volltext

APPARATUSES, METHODS AND COMPUTER PROGRAMS FOR CONTROLLING A MACHINE VIA A MOBILE COMMUNICATION DEVICE von Adler, Rasmus, Zimmer, Bastian, Feth, Patrik, Kremmer, Martin, Kuhn, Thomas, Nguyen, Viet Yen, Volz, Stefan, Schneider, Daniel, Neermann, Benjamin, Flörchinger, Thomas, Cioroaica, Emilia, Fritz, Norbert

Volltext bestellen

Five major reasons why safety and security haven't married (yet) von Amorim, Tiago Luiz Buarque de, Schneider, Daniel, Nguyen, Viet Yen, Schmittner, Christoph, Schoitsch, Erwin

Volltext bestellen

MoonWalker: Verification of .NET Programs von Aan de Brugh, Niels H. M., Nguyen, Viet Yen, Ruys, Theo C.

Volltext

Apparatuses, methods and computer programs for controlling a machine von Adler, Rasmus, Zimmer, Bastian, Feth, Patrik, Kremmer, Martin, Kuhn, Thomas, Nguyen, Viet Yen, Floerchinger, Thomas, Volz, Stefan, Schneider, Daniel, Neermann, Benjamin, Cioroaica, Emilia, Fritz, Norbert

Volltext bestellen