Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...LetSynchronise: An Open-Source Framework for Analysing and Optimising Logical Execution Time Systems
2023
Volltextzugriff (PDF)
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019, p.1-9
2019
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Information Systems
- Science & Technology
- Technology
- Analysis
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Computing Methodologies -- Modeling And Simulation -- Model Development And Analysis
- Computing Methodologies -- Modeling And Simulation -- Simulation Evaluation
- Cyber-Physical Attacks
- Cyber-Physical Systems
- Formal Verification
- General And Reference -- Cross-Computing Tools And Techniques -- Experimentation
- Modelling
- Pacemakers
- Reactive Systems
- Runtime Enforcement
- Security
- Simulation
- Telecommunications
Kollektion