High-assurance systems engineering symposium : proceedings : Third IEEE International High-Assurance Engineering Symposium : November 13-15, 1998, Washington, D.C (English)
- New search for: IEEE High-Assurance Systems Engineering Workshop
- New search for: IEEE International High-Assurance Systems Engineering Symposium
- New search for: IEEE Computer Society
- New search for: IEEE High-Assurance Systems Engineering Workshop
- New search for: IEEE International High-Assurance Systems Engineering Symposium
- New search for: IEEE Computer Society
2011
-
ISBN:
- Conference Proceedings / Electronic Resource
-
Title:High-assurance systems engineering symposium : proceedings : Third IEEE International High-Assurance Engineering Symposium : November 13-15, 1998, Washington, D.C
-
Additional title:High-assurance systems engineering workshop
-
Contributors:
-
Conference:IEEE International High-Assurance Systems Engineering Symposium ; 3rd
IEEE High-Assurance Systems Engineering Workshop ; 3rd -
Publisher:
- New search for: IEEE Computer Society Press
-
Place of publication:Los Alamitos, Calif
-
Publication date:2011
-
Size:1 Online-Ressource (xii, 321 pages)
-
Remarks:illustrations
Use copy Restrictions unspecified star MiAaHDL -
ISBN:
-
Type of media:Conference Proceedings
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 13
-
Formal specification in collaborative design of critical software toolsCoppit, D. / Sullivan, K.J. et al. | 1998
- 82
-
Using classification trees for software quality models: lessons learnedKhoshgoftaar, T.M. / Allen, E.B. / Naik, A. / Jones, W.D. / Hudepohl, J. et al. | 1998
- 90
-
The application of fuzzy enhanced case-based reasoning for identifying fault-prone modulesSchenker, D.F. / Khoshgoftaar, T.M. et al. | 1998
- 188
-
Analytical partition of software components for evolvable and reliable MEMS design toolsHoover, C.L. / Khosla, P.K. et al. | 1998
- 214
-
Optimal discrimination between transient and permanent faultsPizza, M. / Strigini, L. / Bondavalli, A. / Di Giandomenico, F. et al. | 1998
- 240
-
On-chip cache memory resilienceHwang, S.H. / Choi, G.S. et al. | 1998
- iii
-
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)| 1998