Enforcement of (Timed) Properties With Uncontrollable Events

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-25150-9_31
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Measurement Properties of the Timed Up & Go Test in Patients With COPD

Chronic Respiratory Disease
PulmonaryRespiratory Medicine
2016English

Measuring With Timed Patterns

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Timed Unfoldings for Networks of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Time and Action Lock Freedom Properties for Timed Automata

English

Cycle-Time Properties of the Timed Token Medium Access Control Protocol

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2002English

Properties of High-Energy Solar Particle Events Associated With Solar Radio Emissions

Solar Physics
AstrophysicsAstronomyPlanetary ScienceSpace
2019English

Distributed Timed Automata With Independently Evolving Clocks

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Mechanism Design With Blockchain Enforcement

SSRN Electronic Journal
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy