The Light Control Case Study: A Synopsis

Journal of Universal Computer Science

Volumn 6, Issue 7, 2000, Pages 582-585

  Börger, Egon ^a   Gotzhein, Reinhard ^b  

^a UNIVERSITY OF PISA   (Italy)

^b University of Koblenz Landau   (Germany)

Author keywords

Case study; Formal specification; Requirements engineering

Indexed keywords

EID: 18744381662     PISSN: 0948695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (0)