Step-wise Refinement Design Example Using LOTOS

Research output

Research output per year 1990 1990 1991 1991

• 1 Chapter
• 1 Conference contribution

Research output per year

Research output per year

Search results

• 1991

  Step-wise refinement design example using LOTOS

  Pires, L. F. & de Souza, W. L., 1991, Formal Description Techniques III. Amsterdam: North Holland, p. 255-262 8 p.

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

• 1990

  Step-wise Refinement Design Example Using LOTOS

  Pires, L. F. & de Souza, W. L., 1 Nov 1990, FORTE'90. Madrid, p. 289-306 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review