Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings /
This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023. The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover...
সংরক্ষণ করুন:
| সংস্থা লেখক: | |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | বৈদ্যুতিক বৈদ্যুতিন গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| সংস্করন: | 1st ed. 2023. |
| মালা: | Lecture Notes in Computer Science,
13931 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | https://doi.org/10.1007/978-3-031-35257-7 |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
সূচিপত্রের সারণি:
- 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.