Your Selections

Narisawa, Fumio
Show Only

Collections

File Formats

Content Types

Dates

Sectors

Topics

Authors

Publishers

Affiliations

Events

   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Dissolution of the Gap between Safety Requirements Written in a Natural Language and Formal Notations

Published 2016-04-05 by SAE International in United States
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Formal Verification Method for Safety Diagnosis Software

Published 2015-04-14 by SAE International in United States
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Application of Model Checking to Automotive Control Software with Slicing Technique

Published 2013-04-08 by SAE International in United States
Annotation ability available
   This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Message Packing Algorithm for CAN-Based Legacy Control Systems Mixed with CAN and FlexRay

SAE International Journal of Passenger Cars - Electronic and Electrical Systems

  • Journal Article
  • 2010-01-0685
Published 2010-04-12 by SAE International in United States
Annotation ability available