Author: Ishai Rabinovitz
Publication Overview
Publication period start: 2006
Number of co-authors: 7
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Elamkulam,
Janees,
Glazberg,
Ziv,
Rabinovitz,
Ishai,
Kowlali,
Gururaja,
Gupta,
Satish Chandra,
Kohli,
Sandeep,
Dattathrani,
Sai,
Macia,
Claudio Paniagua
(2006):
Detecting Design Flaws in UML State Charts for Embedded Software.
In:
Proceedings of the Second International Haifa Verification Conference HVC 2006, Lecture Notes in Computer Science vol. 4383
October 23-26,
2006,
Haifa, Israel.
pp. 109-121.
https://dx.doi.org/10.1007/978-3-540-70889-6_8