( en | de | ru )

 

Disambiguation of "Razavi, Joseph"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX.

, , , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 77-91. Springer, (2019)

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.

Hamid Razavi

Regina Razavi

Rasoul Razavi

Abbas Razavi

Mohsen Razavi

 

Other publications of authors with the same name

A Category Theoretic Interpretation of Gandy's Principles for Mechanisms., and . DCM/ITRS, volume 293 of EPTCS, page 85-92. (2018)INSPEX: Optimize Range Sensors for Environment Perception as a Portable System., , , , , , , , , and 13 other author(s). Sensors, 19 (19): 4350 (2019)Formal Modelling and Verification as Rigorous Review Technology: An Inspiration from INSPEX., , , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 77-91. Springer, (2019)Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System., , , , , , , and . ICSOFT, page 698-705. SciTePress, (2018)Information flow in spatial models of computation.. University of Manchester, UK, (2017)British Library, EThOS.Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept., , , , , , , , , and 19 other author(s). FedCSIS (Communication Papers), volume 17 of Annals of Computer Science and Information Systems, page 73-82. (2018)Exploring Applications of Formal Methods in the INSPEX Project., , , , , and . STAF Workshops, volume 11176 of Lecture Notes in Computer Science, page 205-215. Springer, (2018)