A Case Study on the Formal Development of a Reactor Safety System

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-60973-3_78

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Formal Verification of System-Level Safety Properties on Railway Software

2016English

A Case Study of Formal Translation of Tang Poetry

Theory and Practice in Language Studies
2013English

A Report on the Safety Aspects of the Homogeneous Reactor Experiment

1950English

Study on Formal Modeling and Verification of Safety Computer Platform

Advances in Mechanical Engineering
Mechanical Engineering
2016English

Synthesis of AMBA AHB From Formal Specification: A Case Study

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

A Study on the Cognitive Thresholds of Formal Styles

Concurrent Engineering Research and Applications
ModelingEngineeringComputer Science ApplicationsSimulation
2006English

Development of Portfolio Management System in R&D: A Case Study

2019English

The Formal Development of a Windows Interface

1998English

Development of a Comprehensive Database System for Safety Analyst

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy