Step-wise refinement design example using LOTOS

L.F. Pires, W.L. de Souza

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined
Title of host publication	Formal Description Techniques III
Place of Publication	Amsterdam
Publisher	North Holland
Pages	255-262
Number of pages	8
Publication status	Published - 1991

Keywords

Step-wise Refinement Design Example Using LOTOS
Ferreira Pires, L. & Lopes de Souza, W., 1990, Enschede: University of Twente. 18 p. (Memoranda informatica; no. 90-55)
Research output: Book/Report › Report › Professional