James L. Rash

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Amy Vanderbilt

> Home > Persons > James L. Rash

Publications

2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/RouffVHTR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/RouffVHTR04
Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash:
Verification of Emergent Behaviors in Swarm-based Systems. ECBS 2004: 443-448
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/RouffVTRH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/RouffVTRH04
Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey:
Verification of NASA Emergent Systems. ICECCS 2004: 231-238
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip12/RouffVTRH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/RouffVTRH04
Christopher A. Rouff, Amy Vanderbilt, Walt Truszkowski, James L. Rash, Michael G. Hinchey:
Verification of Nasa Emergent Systems. AIAI 2004: 167-176
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/isola/RouffVTRH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/RouffVTRH04
Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey:
Formal Methods for Autonomic and Swarm-based Systems. ISoLA (Preliminary proceedings) 2004: 100-102
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/RouffVHTR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/RouffVHTR04
Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash:
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. SEFM 2004: 24-33

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.