Assessment of intracranial venous hemodynamics by transcranial color-coded duplex sonography and breath-holding test von Shanina, E., Voskoboynokova, N., Iliasov, B., Nelassov, N.

Volltext

Color Doppler flow imaging of orbital vessels von Voskoboynikova, N., Shanina, E., Iliasov, B., Chugunova, I., Nelassov, N.

Volltext

Florfenicol 40% efficacy in piglets with respiratory pathologies von Engashev, Sergey V., Savinkov, Aleksey V., Sadov, Konstantin M., Iliasov, Pavel V.

Volltext

Effect of colistin sulfate in the health status and bacteriological gut flora in store pigs with nonspecific gastroenteritis von Engashev, Sergei, Savinkov, Aleksei, Sadov, Konstantin, Iliasov, Pavel

Volltext

Clinical studies of the Tildox AVZ complex drug efficacy in respiratory and gastrointestinal pathologies of young pigs caused by opportunistic microflora von Engashev, Sergey V., Savinkov, Aleksey V., Sadov, Konstantin M., Iliasov, Pavel V.

Volltext

The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool von Iliasov, Alexei, Taylor, Dominic, Laibinis, Linas, Romanovsky, Alexander

Volltext

Formal Verification of Signalling Programs with SafeCap von Iliasov, Alexei, Taylor, Dominic, Laibinis, Linas, Romanovsky, Alexander

Volltext

Step-Wise Development of Resilient Ambient Campus Scenarios von Iliasov, Alexei, Arief, Budi, Romanovsky, Alexander

Volltext

A Framework for Open Distributed System Design von Iliasov, A., Romanovsky, A., Arief, B., Laibinis, L., Troubitsyna, E.

Volltext

Rigorous Development of Fault-Tolerant Agent Systems von Laibinis, Linas, Troubitsyna, Elena, Iliasov, Alexei, Romanovsky, Alexander

Volltext

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems von Iliasov, Alexei, Khomenko, Victor, Koutny, Maciej, Romanovsky, Alexander

Volltext