The following pages link to Purandar Bhaduri (Q2841312):
Displayed 7 items.
- Formal Techniques for Analysing Scenarios using Message Sequence Charts (Q2841314) (← links)
- (Q2849550) (← links)
- Schedule Verification and Synthesis for Embedded Real-Time Components (Q3564026) (← links)
- Automated Technology for Verification and Analysis (Q5491876) (← links)
- Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction (Q5500565) (← links)
- (Q5757088) (← links)
- Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)