Use of U2B for Specifying B Action Systems

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

Alkuperäiskieli	Englanti
Otsikko	Proceedings of RCS'02 - International workshop on Refinement of Critical Systems: Methods, Tools and Experience
Julkaisupaikka	Grenoble France
Tila	Julkaistu - 2002
OKM-julkaisutyyppi	B3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M. (CoPI), Sere, K. (Vastuullinen tutkija), Troubitsyna, E. (CoPI), Petre, L. (CoI), Boström, P. (CoI), Tsiopoulos, L. (CoI), Jansson, M. (CoI) & Engblom, N. (CoI)
01/05/00 → 28/02/03
Projekti: EU

Projektit