Developing Control Systems Components

Luigia Petre, K Sere

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
Otsikko2nd International Conference on Integrated Formal Methods, IFM'2000
ToimittajatW Grieskamp, T Santen, B Stoddart
KustantajaSpringer-Verlag
Sivut
TilaJulkaistu - 2000
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
Tapahtumaconference -
Kesto: 1 tammikuuta 2010 → …

Konferenssi

Konferenssiconference
Ajanjakso01/01/10 → …

Viittausmuodot