Component and Interface Refinement in Closed-System Specifications

R. Kurki-Suonio

Component and Interface Refinement in Closed-System Specifications

Julkaisun otsikon käännös: Component and Interface Refinement in Closed-System Specifications

R. Kurki-Suonio

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen

6 Sitaatiot (Scopus)

Julkaisun otsikon käännös	Component and Interface Refinement in Closed-System Specifications
Alkuperäiskieli	Englanti
Otsikko	FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Sept. 20-24, 1999 Proceedings
Toimittajat	J.M. Wing, J. Woodcock, J. Davies
Kustantaja	Springer
Sivut	134-154
Tila	Julkaistu - 1999
OKM-julkaisutyyppi	B3 Vertaisarvioimaton artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso

Ei tasoa

Siteeraa tätä

@inproceedings{fe10183f31e54fbfb9158764db137ea2,

title = "Component and Interface Refinement in Closed-System Specifications",

author = "R. Kurki-Suonio",

note = "Contribution: organisation=ohj,FACT1=1",

year = "1999",

language = "English",

pages = "134--154",

editor = "J.M. Wing and J. Woodcock and J. Davies",

booktitle = "FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Sept. 20-24, 1999 Proceedings",

publisher = "Springer",

}

TY - GEN

T1 - Component and Interface Refinement in Closed-System Specifications

AU - Kurki-Suonio, R.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 1999

Y1 - 1999

M3 - Conference contribution

SP - 134

EP - 154

BT - FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, Sept. 20-24, 1999 Proceedings

A2 - Wing, J.M.

A2 - Woodcock, J.

A2 - Davies, J.

PB - Springer

ER -