Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Terje Sivertsen
A Case Study on the Formal Development of a Reactor Safety System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Formal Verification of System-Level Safety Properties on Railway Software
A Case Study of Formal Translation of Tang Poetry
Theory and Practice in Language Studies
A Report on the Safety Aspects of the Homogeneous Reactor Experiment
Study on Formal Modeling and Verification of Safety Computer Platform
Advances in Mechanical Engineering
Mechanical Engineering
Synthesis of AMBA AHB From Formal Specification: A Case Study
International Journal on Software Tools for Technology Transfer
Information Systems
Software
A Study on the Cognitive Thresholds of Formal Styles
Concurrent Engineering Research and Applications
Modeling
Engineering
Computer Science Applications
Simulation
Development of Portfolio Management System in R&D: A Case Study
The Formal Development of a Windows Interface
Development of a Comprehensive Database System for Safety Analyst
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
