Sortiert nach
Logical methods in computer science, 2021-05, Vol.17 (2), p.13:1-13:67
2021
Link zum Volltext
Formal Modeling and Analysis of Timed Systems, p.37-52
Link zum Volltext
2019 19th International Conference on Application of Concurrency to System Design (ACSD), 2019, p.33-42
2019
- Link zum Volltext
2018 18th International Conference on Application of Concurrency to System Design (ACSD), 2018, p.21-29
2018
- Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.39-56
Link zum Volltext
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), 2019, p.87-96
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Automata
- Cost Accounting
- Logic In Computer Science
- Mathematics
- Mathematics, Applied
- Parametric Timed Automata
- Physical Sciences
- Clocks
- Computer Science, Information Systems
- Decidability
- Embedded Systems
- Formal Languages And Automata Theory
- Parameter Synthesis
- Semantics
- Attack-Fault Trees
Kollektion
Zeitschrift / Serie