Article Details
Retrieved on: 2024-11-27 10:22:48
Tags for this article:
Click the tags to see associated articles and topics
Summary
The article discusses proceedings from SEFM 2024, featuring papers on topics including quantum computing, fault tolerance, and reliability in computing, linking theoretical computer science and control engineering with formal methods in system design.
Article found on: link.springer.com
This article is found inside other hiswai user's workspaces. To start your own collection, sign up for free.
Sign UpAlready have an account? Log in here