Your Selections

Zare, Amey
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.

Simplifying the Review of Communicating Finite State Machines Implementation using Static Analysis

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.

Verification of Group Variables for Detecting Inconsistencies in 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.

Verification of Flag Usage Patterns by Static Analysis Techniques

SAE International Journal of Passenger Cars - Electronic and Electrical Systems

  • Journal Article
  • 2014-01-0180
Published 2014-04-01 by SAE International in United States
Annotation ability available