Amanote Research
Register
Sign In
On Temporal Program Verification Rules
RAIRO. Informatique théorique
doi 10.1051/ita/1985190302611
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1985
Authors
F. Kröger
Publisher
EDP Sciences
Related search
Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking
SPIIRAS Proceedings
Control
Systems Engineering
Information Systems
Computer Networks
Applied Mathematics
Mathematics
Communications
Computer Science Applications
Computational Theory
Computational Mathematics
Artificial Intelligence
Verification of Temporal Properties
Temporal Verification by Diagram Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Patterns for Document Verification
Adding Temporal Semantics to Association Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Marketing Program Based on Market Rules and Industry Development
Program Verification by Using DISCOVERER
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Checking for Program Verification
Analysis and Verification of ECA Rules in Intelligent Environments
Journal of Ambient Intelligence and Smart Environments
Software
