Developing Control Systems Components

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Petre L, Sere K
Redaktörer: Grieskamp W, Santen T, Stoddart B
Förläggare: Springer-Verlag
Publiceringsår: 2000
Moderpublikationens namn: 2nd International Conference on Integrated Formal Methods, IFM'2000
Seriens namn: Lecture Notes in Computer Science
Volym: 1945

Senast uppdaterad 2019-09-12 vid 02:53