Login / Signup
"Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security.
Klaus-Rüdiger Hase
Published in:
FORMS/FORMAT (2010)
Keyphrases
</>
software development
software vendors
computer systems
software tools
open systems
data sets
theorem prover
hardware design
database
software systems
software maintenance
safety analysis
open source
source code
software developers
software package