Verifying Resource Adequacy of Networked IMA Systems at Concept Level
Gespeichert in:
| Veröffentlicht in: | FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2020
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations | 2020 | Ben Khalifa, Dorra |
| Probabilistic Activity Recognition for Serious Games with Applications in Medicine | 2020 | Maria, Elisabetta de |
| A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas | 2020 | Yu, Emily |
| Visualising Railway Safety Verification | 2020 | Pantekis, Filippos |
| Formal Semantics Extraction from MIPS Instruction Manual | 2020 | Trac, Quang Thinh |
| Formal Verification of Cyber-Physical Systems Using Theorem Proving | 2020 | Rashid, Adnan |
| Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661 | 2020 | Singh, Neeraj Kumar |
| Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study | 2020 | Yuan, Shenghao |
| Verifying Resource Adequacy of Networked IMA Systems at Concept Level | 2020 | Saar de Moraes, Rodrigo |