Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off
None
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book Chapter |
| Language: | English |
| Published: |
IntechOpen
2012
|
| Subjects: | |
| Online Access: | https://www.intechopen.com/chapters/29212 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off
- A flexible specification approach for verifying total correctness of fine-grained concurrent modules
- Generalizability vs. Counterfactual Explainability Trade-Off
- On a Security vs Privacy Trade-off in Interconnected Dynamical Systems
- Discrete vs. Continuous Trade-offs for Generative Models
- The trade-offs between Monolithic vs. Distributed Architectures
- Adversarial Concurrent Training: Optimizing Robustness and Accuracy Trade-off of Deep Neural Networks