- Perturbation Analysis in Verification of Discrete-Time Marko...
- Towards a Bisimulation Theory for Open Synchronized Networks...
- Security and privacy in vehicular networks
- An Integrated Solution for Software Testing and Quality Assu...
- My view on Research Methodology
- Coverage at the Formal Specification Level
- Robotic Manipulation Leveraging Plane Contacts
- firstpage <<previouspage nextpage>> endpage
- PageNumber 6/6