PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rangarajan, Murali"

Author of the publication

copydeleteadd this publication to your clipboard
Composing Specifications in VSPEC.

, , and . ICFEM, page 45-56. IEEE Computer Society, (2000)

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.

No persons found for author name Rangarajan, Murali
add a person with the name Rangarajan, Murali
 

Other publications of authors with the same name

VSPEC and Its Integrated Tool Suite., , , and . ECBS, page 27-34. IEEE Computer Society, (2002)On the Design of ORBIT., , , , , , , , , and 1 other author(s). ECBS, page 110-. IEEE Computer Society, (2000)Simulation and verification II: event-triggered environments for verification of real-time systems., and . Winter Simulation Conference, page 915-922. IEEE Computer Society, (2003)Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration., , , and . Annual Simulation Symposium, page 24-30. IEEE Computer Society, (1997)IEEE ECBS'99 TC Architecture Working Group (AWG) Report., , , , , , , , , and 1 other author(s). ECBS, page 383-389. IEEE Computer Society, (2000)Analysis of Distributed Spin Applied to Industrial-Scale Models., , , and . SPIN, volume 2989 of Lecture Notes in Computer Science, page 267-285. Springer, (2004)Computing Worst-Case Response Times in Real-Time Avionics Applications., and . FMICS, volume 4916 of Lecture Notes in Computer Science, page 101-114. Springer, (2007)ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis., , , , and . ECBS, page 122-128. IEEE Computer Society, (1999)Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report., , , , and . ICSE, page 304-313. IEEE Computer Society, (2004)Edge detection using G-lets based on matrix factorization by group representations., and . Pattern Recognition, (2017)