Amanote Research
Register
Sign In
Specification and Proof of Liveness Properties in B Event Systems
doi 10.5220/0001342400250034
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2007
Authors
Unknown
Publisher
SciTePress - Science and and Technology Publications
Related search
Logical Closure Properties of Propositional Proof Systems
The Coarsest Precongruences Respecting Safety and Liveness Properties
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
A Study of Liveness Detection in Face Biometric Systems
International Journal of Computer Applications
Discrete Event Simulation to Generate Requirements Specification for Sustainable Manufacturing Systems Design
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems
International Journal of Systems and Service-Oriented Engineering
Model Checking Liveness Properties of Genetic Regulatory Networks
A Formal Specification of the CORBA Event Service
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Aesthetic Properties and Perceptual Proof
Kagaku tetsugaku
Probabilistic Proof Systems
BRICS Report Series
