The following pages link to Dipankar Sarkar (Q520248):
Displayed 8 items.
- Deriving bisimulation relations from path based equivalence checkers (Q520250) (← links)
- Fairness of transitions in diagnosability of discrete event systems (Q708892) (← links)
- Fault diagnosis in discrete time hybrid systems -- a case study (Q865902) (← links)
- Translation validation of coloured Petri net models of programs on integers (Q2089749) (← links)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points (Q2415374) (← links)
- Diagnosability of delay-deadline failures in fair real time discrete event models (Q3161644) (← links)
- A Path Construction Algorithm for Translation Validation Using PRES+ Models (Q4598923) (← links)
- A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems (Q5274520) (← links)