Author: Claudio Paniagua Macia
Publications
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