AAAI 2014 Symposium

Modeling in Human-Machine Systems: Challenges for Formal Verification

Technical Co-Sponsor: IEEE Systems, Man, and Cybernetics

Copyright (c) 2008 Sitename.com. All rights reserved. Design by FreeCSSTemplates.org.