Author of the publication

How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification.

, , , , and . Rel. Eng. & Sys. Safety, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Customer Readiness, Market Orientation and Transaction frequency in Mobile Banking Service Recovery., , , , and . PACIS, page 281. (2016)Low-Complexity Tools in AVS Part 7., , , and . J. Comput. Sci. Technol., 21 (3): 345-353 (2006)Multipath Routing of Multiple Description Coded Images in Wireless Networks., , and . J. Comput. Sci. Technol., 29 (4): 576-588 (2014)Real-time spatiotemporal segmentation of video objects in the H.264 compressed domain., , and . J. Visual Communication and Image Representation, 18 (3): 275-290 (2007)Two-level BEOL processing for rapid iteration in MRAM development., , , , , , , , , and 1 other author(s). IBM Journal of Research and Development, 50 (1): 41-54 (2006)Distributed output regulation for multi-agent systems with norm-bounded uncertainties., and . Int. J. Systems Science, 45 (11): 2376-2389 (2014)Intonation modeling of Mandarin Chinese using a superpositional approach., , , and . INTERSPEECH, page 2134-2137. ISCA, (2008)The efficiency of view synthesis prediction for 3D video coding: A spectral domain analysis., , and . ICASSP, page 1453-1457. IEEE, (2015)Architecture design with STT-RAM: Opportunities and challenges., , , , , and . ASP-DAC, page 109-114. IEEE, (2016)Binocular Responses for No-Reference 3D Image Quality Assessment., and . IEEE Trans. Multimedia, 18 (6): 1077-1084 (2016)