( en | de | ru )

 

Disambiguation of "Beohar, Harsh"

Author of the publication

copydeleteadd this publication to your clipboard
Delta-Oriented FSM-Based Testing.

, , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 366-381. Springer, (2015)

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.

Harsh Dweep

Rahul Ramesh Harshe

Mandar Harshe

Harshvardhan

Vokkaliga Harshavardhan

 

Other publications of authors with the same name

Conditional transition systems with upgrades., , , and . Sci. Comput. Program., (2020)A Pre-congruence Format for XY-simulation., and . FSEN, volume 9392 of Lecture Notes in Computer Science, page 215-229. Springer, (2015)Basic behavioral models for software product lines: Expressiveness and testing pre-orders., , and . Sci. Comput. Program., (2016)Input-output conformance testing based on featured transition systems., and . SAC, page 1272-1278. ACM, (2014)Forward and Backward Steps in a Fibration., , , and . CALCO, volume 270 of LIPIcs, page 6:1-6:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Delta-Oriented FSM-Based Testing., , and . ICFEM, volume 9407 of Lecture Notes in Computer Science, page 366-381. Springer, (2015)Avoiding diamonds in desynchronisation., and . Sci. Comput. Program., (2014)The Hierarchical Compositional Interchange Format., , , , and . FMCO, volume 6957 of Lecture Notes in Computer Science, page 316-335. Springer, (2010)Spinal Test Suites for Software Product Lines., and . MBT, volume 141 of EPTCS, page 44-55. (2014)Avoiding Diamonds in Desynchronization., and . FACS, volume 7684 of Lecture Notes in Computer Science, page 36-54. Springer, (2012)