Back to Search Start Over

Verification and Synthesis of Responsive Symmetric Uni-Rings

Authors :
Ali Ebnenasir
Source :
IEEE Transactions on Software Engineering. 48:4447-4464
Publication Year :
2022
Publisher :
Institute of Electrical and Electronics Engineers (IEEE), 2022.

Subjects

Subjects :
Theoretical computer science
Computer science
Semantics (computer science)
System recovery
Convergence (routing)
Software

Details

ISSN :
23263881 and 00985589
Volume :
48
Database :
OpenAIRE
Journal :
IEEE Transactions on Software Engineering
Accession number :
edsair.doi...........bfcf3a2f3e069ff4f38603424a981ed7

Tools

Authors Abstract Subjects Details