![]() | ![]() |
2006 | ||
---|---|---|
2 | EE | James Kirby Jr.: Model-Driven Agile Development of Reactive Multi-Agent Systems. COMPSAC (2) 2006: 297-302 |
1999 | ||
1 | EE | James Kirby Jr., Myla Archer, Constance L. Heitmeyer: Applying Formal Methods to an Information Security Device: An Experience Report. HASE 1999: 81-88 |
1 | Myla Archer | [1] |
2 | Constance L. Heitmeyer (Connie Heitmeyer) | [1] |