Extended Future in Testing Semantics for Time Petri Nets
Gespeichert in:
| Veröffentlicht in: | International Workshop on Concurrency, Specification and Programming (29. : 2021 : Berlin; Online) Concurrency, specification and programming |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Extended Future in Testing Semantics for Time Petri Nets | 2023 | Bozhenkova, Elena |
| Natural Language Processing for Requirements Formalization: How to Derive New Approaches? | 2023 | Sudhi, Viju |
| Towards an Anticipatory Mechanism for Complex Decisions in a Bio-Hybrid Beehive | 2023 | Mellmann, Heinrich |
| Security Enforcing | 2023 | Gruska, Damas P. |
| Left Recursion by Recursive Ascent | 2023 | Redziejowski, Roman R. |
| Toward Recommender Systems Scalability and Efficacy | 2023 | Kannout, Eyad |
| Graph-Based Sparse Neural Networks for Traffic Signal Optimization | 2023 | Skowronek, Łukasz |
| An Example of Computation in Interactive Granular Computing | 2023 | Dutta, Soma |
| A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth Wireless Channel | 2023 | Boruta, Agnieszka |