Home › Authors › IEEE International High-Assurance Systems Engineering Symposium (7th 2001 Tokyo, Japan) 👤 IEEE International High-Assurance Systems Engineering Symposium (7th 2001 Tokyo, Japan) 1 book Books by IEEE International High-Assurance Systems Engineering Symposium (7th 2001 Tokyo, Japan) HASE 2002 2002