BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-179974, author = {F{\"u}gger, Matthias and Steininger, Andreas and Armengaud, Eric}, title = {Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - A Combined Formal and Experimental Approach}, journal = {IEEE Transactions on Industrial Informatics}, year = {2009}, volume = {5}, number = {2}, pages = {132--145}, doi = {10.1109/TIL.2009.2017526}, keywords = {Automotive electronics, clock synchronization, FlexRay, formal verfication, time-triggered communication, TTP/C} } 1 Datensatz ausgegeben