• Self-Checking Components for D...

Treffer: Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques

Title:
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
Authors:
Tankeu-Choitat, A., Navarre, D., Palanque, P., Deleris, Y., Fabre, J-C, Fayollas, C.
Source:
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing Dependable Computing (PRDC), 2011 IEEE 17th Pacific Rim International Symposium on. :164-173 Dec, 2011
Relation:
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing (PRDC)
Database:
IEEE Xplore Digital Library