Conceptual Verification of Distributed Cyber Physical Systems using Reference Nets
| Autor: | Sood, Vikas, Nema, Malay Kumar, Kumar, Rituraj, Nene, Manisha Jitendra |
|---|---|
| Zdroj: | In Procedia Computer Science 2020 171:81-90 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|