Author: Vijay Gehlot
Publications
Co-authors
Productive Colleagues
Publications
Gehlot, Vijay, Sloane, Elliot B. (2006): Ensuring Patient Safety in Wireless Medical Device Networks. In IEEE Computer, 39 (4) pp. 54-60. https://doi.ieeecomputersociety.org/10.1109/MC.2006.125
Choudhary, Alok N., Gehlot, Vijay, Narahari, Bhagirath (1996): Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems. In: HICSS 1996 , 1996, . pp. 525-. https://csdl.computer.org/comp/proceedings/hicss/1996/7324/00/73240525abs.htm
Gehlot, Vijay, Edupuganti, Kranthima (2009): Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestr. In: HICSS 2009 - 42st Hawaii International International Conference on Systems Science 5-8 January, 2009, Waikoloa, Big Island, HI, USA. pp. 1-8. https://dx.doi.org/10.1109/HICSS.2009.487
Gehlot, Vijay, Pujari, Gayatri (2009): A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise S. In: HICSS 2009 - 42st Hawaii International International Conference on Systems Science 5-8 January, 2009, Waikoloa, Big Island, HI, USA. pp. 1-9. https://dx.doi.org/10.1109/HICSS.2009.3