Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection

IEEE Transactions on Intelligent Transportation Systems - United States
doi 10.1109/tits.2018.2869633
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Progressing Problems From Requirements to Specifications in Problem Frames

2008English

Formal Verification of Safety Behaviours of the Outdoor Robot Ravon

2007English

Study on Formal Modeling and Verification of Safety Computer Platform

Advances in Mechanical Engineering
Mechanical Engineering
2016English

Formal Verification of System-Level Safety Properties on Railway Software

2016English

A Formal and Practical Framework for Constraint-Based Routing

2008English

Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems

2020English

Formal Based Verification to Build Safer Cars

International Journal of Computer Applications
2016English

The Application of Fresnel Zone Plate Based Projection in Optofluidic Microscopy

Optics Express
OpticsAtomicMolecular Physics,
2008English

Formal Specification and Verification

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy