Cargando…
Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems
In modern computer systems, distributed systems play an increasingly important role, and modeling and verification are crucial in their development. The specificity of many systems requires taking this into account in real time, as time dependencies significantly affect the system’s behavior, when a...
| Autor principal: | |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
MDPI
2022
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8915185/ https://www.ncbi.nlm.nih.gov/pubmed/35161901 http://dx.doi.org/10.3390/s22031157 |