Search Results - "Stratan, Cristina" :: K.UTB vyhledávací portál

O-01-04 Medical Devices Management System in the Republic of Moldova

by KODAI TATENO, YOSUKE UMEMIYA, AKIO KANEKO, HIROSHI YOSHINO, STRATAN CRISTINA
Published in Journal of International Health (20.09.2016)

Get full text

Journal Article

Loading…

O-06-08 Development of the New Medical Device Management System in the Republic of Moldova

by Kodai Tateno, Yosuke Umemiya, Akio Kaneko, Hiroshi Yoshino, Stratan Cristina, Gheorghe Gorceag
Published in Journal of International Health (20.09.2017)

Get full text

Journal Article

Loading…

Diagnosing Violations of Time-based Properties Captured in iCFTL

by Stratan, Cristina, Dawes, Joshua Heneage, Bianculli, Domenico
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

O-01-04 Medical Devices Management System in the Republic of Moldova

O-06-08 Development of the New Medical Device Management System in the Republic of Moldova

Diagnosing Violations of Time-based Properties Captured in iCFTL

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database