Lessons from using basic lOTUS

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1994, Pages 5-14

  Ardis, Mark A ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING; SWITCHING SYSTEMS;

BASIC LOTOS; FORMAL SPECIFICATIONS; BASIC LOTUS SOFTWARE DEVELOPMENT; FORMAL SPECIFICATION; LOTOS DESIGN; PROTOCOL SPECIFICATION; SOFTWARE DEVELOPMENT METHODS; SWITCHING SYSTEMS;

COMPUTER SOFTWARE;

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

References (20)