|
|
|
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
|
(Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
| Inhalt: |
| Systems with Runtime Assurance Architectures.- Continuation-Passing Style into Static Single Assignment Form.- Framework based on Reinforcement Learning.- Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning.- Based Embedded Software Design.- Probabilistic Contracts Using Timed Automata.- Asynchronous test equivalence over timed processes.- Protocol Conformance with Choreographic PlusCal.- Verifying Chips Design at RTL Level.- Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.- A hierarchical spatial logic for knowledge sharing and fusion in intelligent connected vehicle cooperation.- VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects.- Identifying Minimal Changes in the Zone Abstract Domain.- idDL2DL - Interval syntax to DL.- Safety Verification for Neural Networks Based on Set-boundary Analysis.- Approximately learning quantum automata.- View-Based Axiomatic Reasoning for PSO.- Resource Sensitive Workflow Models.- MTCD: An Efficient Cloning Detection Technique Based on Method Table.- Stepwise development of paraconsistent processes.- Detecting API-Misuse based on Pattern Mining via API Usage Graph with Parameters. |
|
i.d.R. innert 5-10 Tagen versandfertig
Newsfeed | 
Facebook | 
Twitter
