Safety correctness and reliability analysis of complex systems using formal methods

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Linköping : Division of Quality Technology and Management, Department of Mechanical Engineering, Linköpings universitet , 1997
Omfang	1 b. (flere pag.) : ill.
Opplysninger	Avhandling (tekn. lic.) - Linköpings universitet, 1997
Emner	Pålitelighetsteknikk Verktøymaskiner - Automatisk manøvrering
ISBN	9172191066

Biblioteksøk