Taxonomic Search: Bruce Krogh

4 results

Results

file

Heterogeneous Verification of CPS Using Behavior Semantics

Submitted by krogh on Wed, 09/26/2012 - 4:10pm. Contributors:

Abstract

1.09 MB
0 views
30 downloads
Download

file

An Architecture Approach to Heterogeneous Verification of CPS

Submitted by krogh on Thu, 11/03/2011 - 1:36pm. Contributors:

2.69 MB
0 views
4 downloads
Download

file

Interconnection of Heterogeneous CPS Models Through Architectural Views

Submitted by Katie Dey on Sun, 10/14/2012 - 8:13pm. Contributors:

Poster for the 2012 CPS PI Meeting

Award ID: 1035800

91.67 KB
0 views
35 downloads
Download

file

GOALI: An Architecture Approach to Heterogeneous Verification of Cyber-Physical Systems

Submitted by Katie Dey on Thu, 11/03/2011 - 5:35pm. Contributors:

11.34 KB
0 views
97 downloads
Download

Current search

[×]

Contributor(s)

: Bruce Krogh

Guided search

Click a term to refine your current search.

CPS Events

2011 (2)
2012 (2)

Contributor(s)

: all » Bruce Krogh

Document Source

Academia (4)

Author

Katie Dey (2)
krogh (2)

Date authored

2011 (2)
2012 (2)

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

Taxonomic Search: Bruce Krogh

Results

Heterogeneous Verification of CPS Using Behavior Semantics

An Architecture Approach to Heterogeneous Verification of CPS

Interconnection of Heterogeneous CPS Models Through Architectural Views

GOALI: An Architecture Approach to Heterogeneous Verification of Cyber-Physical Systems

Current search

Contributor(s)

Guided search

Group

Keywords

Content type

Document Type

CPS Events

Contributor(s)

Document Source

Author

Date authored

Keyword search