Validation of large eddy simulation of flow behind a circular cylinder
Isoz, Martin, Hlavatý, Tomáš, Uruba, Václav, Procházka, Pavel
Published in MATEC Web of Conferences (2021)
Published in MATEC Web of Conferences (2021)
Get full text
Journal Article
Conference Proceeding
Higher vitamin D serum concentration increases health related quality of life in patients with inflammatory bowel diseases
Hlavaty, Tibor, Krajcovicova, Anna, Koller, Tomas, Toth, Jozef, Nevidanska, Monika, Huorka, Martin, Payer, Juraj
Published in World journal of gastroenterology : WJG (14.11.2014)
Published in World journal of gastroenterology : WJG (14.11.2014)
Get full text
Journal Article
Case study: Formal specification and verification of railway interlocking system
Hlavaty, T., Preucil, L., Stepan, P.
Published in Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey (2001)
Published in Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey (2001)
Get full text
Conference Proceeding