Study on formal modeling and verification of safety computer platform

Gardado en:

Detalles Bibliográficos
Publicado en:	Advances in Mechanical Engineering vol. 8, no. 5 (May 2016), p. n/a
Autor Principal:	Wang, Xi
Outros autores:	Ma, Lianchuan, Tang, Tao
Publicado:	Sage Publications Ltd.
Materias:	Laboratories Maintainability Qualitative analysis Software Communication Studies Logic Design Program verification (computers) Methods Role models Algorithms Monitoring systems Safety critical Quantitative analysis Nuclear power plants Automatic control Urban transportation Communications systems
Acceso en liña:	Citation/Abstract Full Text Full Text - PDF
Etiquetas:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!