Study on formal modeling and verification of safety computer platform

Tallennettuna:

Bibliografiset tiedot
Julkaisussa:	Advances in Mechanical Engineering vol. 8, no. 5 (May 2016), p. n/a
Päätekijä:	Wang, Xi
Muut tekijät:	Ma, Lianchuan, Tang, Tao
Julkaistu:	Sage Publications Ltd.
Aiheet:	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
Linkit:	Citation/Abstract Full Text Full Text - PDF
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Lisää ensimmäinen kommentti!