Search Results - Musliner, Dave

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    AAAI 2006 Spring Symposium Reports

    AAAI 2006 Spring Symposium Reports by Abecker, Andreas, Alami, Rachid, Baral, Chitta, Bickmore, Tim, Durfee, Ed, Fong, Terry, Göker, Mehmet H., Green, Nancy, Liberman, Mark, Lebiere, Christian, Martin, James H., Mentzas, Gregoris, Musliner, Dave, Nicolov, Nicolas, Nourbakhsh, Illah, Salvetti, Franco, Shapiro, Daniel, Schrekenghost, Debbie, Sheth, Amit, Stojanovic, Ljiljana, SunSpiral, Vytas, Wray, Robert

    Published in The AI magazine
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    META II: Formal Co-Verification of Correctness of Large-Scale Cyber-Physical Systems during Design. Volume 1

    META II: Formal Co-Verification of Correctness of Large-Scale Cyber-Physical Systems during Design. Volume 1 by Uckun, Serdar, Kurtoglu, Tolga, Fritz, Christian, Bunus, Peter, Jarvis, Peter, Tumer, Irem, Hoyle, Chris, Jensen, David, Musliner, Dave, Engstrom, Eric, Nagel, Jacquelyn, Kluck, David, Knudson, Matt

    Request full text
    Report
    Save to List
    Saved in:

Search Tools: