Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)
Sign Up to like & getrecommendations! Published in 2022 at "Software and Systems Modeling"
DOI: 10.1007/s10270-021-00917-7
Abstract: Automated verification of distributed systems becomes very important in distributed computing. The graphical insight into the system in the early and late stages of the project is essential. In the design phase, the visual input… read more here.
Keywords: semantics; distributed autonomous; autonomous asynchronous; graphic modeling ... See more keywords