Fingerprint
Dive into the research topics of 'Behavioural hybrid process calculus for modelling and analysis of hybrid and Electronic Systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Behavioural hybrid process calculus for modelling and analysis of hybrid and Electronic Systems
Tomas Krilavičius*, Ka Lok Man
*Corresponding author for this work
Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review