Industrial usage of formal development methods - the VSE-tool applied in pilot projects

COMPASS - Proceedings of the Annual Conference on Computer Assurance

Volumn , Issue , 1996, Pages 56-64

  Koob, Frank ^a   Ullmann, Markus ^a   Wittmann, Stefan ^a  

^a Bundesamt Sicherheit I   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; INDUSTRIAL APPLICATIONS; INFORMATION TECHNOLOGY;

FORMAL DEVELOPMENT METHODS; VERIFICATION SUPPORT ENVIRONMENT (VSE);

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0029723684     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)