Environment-Independent Framework for Early Error Discovery in Embedded System Designs.
Abstract Not Provided
Hulin, Kevin Joseph↗
Engineering topics
Hulin, Kevin Joseph
Publications and source records attributed to Hulin, Kevin Joseph.
Environment-Independent Framework for Early Error Discovery in Embedded Systems Designs.
Abstract Not Provided
Hu, Yalin↗
Maintaining soundness in hybrid verification approaches for stateful models :
Abstract not provided.
Hulin, Kevin Joseph↗
Maintaining Soundness in Hybrid Verification Approaches for Stateful Models: A Case Study.
Abstract Not Provided
Hu, Yalin↗
Maintaining Soundness in Hybrid Verification Approaches for Stateful Models: A Case Study.
Abstract not provided.
Hu, Yalin↗
Toward Automatic Decomposition Discovery through High Level Specification Analysis: A Case Study.
Abstract not provided.
Hu, Yalin↗