On the use of a formal RE language: The generalized railroad crossing problem

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1997, Pages 128-137

  Du Bois, Philippe ^a   Dubois, Eric ^a   Zeippen, Jean Marc ^a  

^a UNIVERSITY OF NAMUR   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; FORMAL LOGIC; PROBLEM SOLVING; REAL TIME SYSTEMS;

ALBERT II SPECIFICATION LANGUAGE; GENERALIZED RAILROAD CROSSING CASE STUDY;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (26)