Publication | Closed Access
COCOSYS: Status of development and validation of the German containment code system
94
Citations
3
References
2007
Year
Programming Language TheoryEngineeringProgram AnalysisInformation SecurityFormal MethodsSoftware AnalysisSystems EngineeringSource Code AnalysisSoftware EngineeringSecure By DesignComputer ScienceIntermediate RepresentationLanguage-based SecurityFormal VerificationSystem SoftwareSoftware Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1