Formal specification and validation in production plants

TitleFormal specification and validation in production plants
Publication TypeConference Paper
Year of Publication1992
AuthorsEzpeleta, J, Martínez J
Date Published5
Export