The Coarsest Precongruences Respecting Safety and Liveness Properties

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-3-642-15240-5_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Safety and Liveness for an RBAC/MAC Security Model

IFIP International Federation for Information Processing
2004English

Specification and Proof of Liveness Properties in B Event Systems

2007English

Model Checking Liveness Properties of Genetic Regulatory Networks

English

Video Liveness Verification

International Journal of Trend in Scientific Research and Development
2018English

Simulation as Coarsest Partition Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Respecting the Instructions for Authors

Industrial Health
MutagenesisPublic HealthEnvironmentalHealthToxicologyOccupational Health
2020English

Saving Lives and Respecting Persons

Journal of Ethics and Social Philosophy
2017English

Liveness With Invisible Ranking

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2006English

Liveness Detection With Opencv

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy