A Theory of Runtime Enforcement, With Results

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-15497-3_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Testing Real-Time Systems With Runtime Enforcement

IEEE Design and Test
HardwareElectronic EngineeringElectricalArchitectureSoftware
2018English

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Runtime Enforcement of Web Service Message Contracts With Data

IEEE Transactions on Services Computing
Information SystemsComputer NetworksHardwareCommunicationsComputer Science ApplicationsManagementArchitecture
2012English

Runtime Enforcement of Reactive Systems Using Synchronous Enforcers

2017English

The Economic Theory of Public Enforcement of Law

1999English

Environmental Enforcement Networks: Theory, Practice and Potential

English

Runtime Verification With Particle Filtering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Results of Mediation and Cross-Border Enforcement of Mediation Agreements

ERA Forum
LawInternational RelationsPolitical Science
2013English

Political Theory Today: Results of a National Survey

PS - Political Science and Politics
SociologyPolitical Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy