A framework for automatically ensuring the conformance of agent designs Journal Articles Refereed uri icon

Overview

Published in

  • Journal of Systems and Software

Time

Date/time value

  • 2017

Identity

Digital Object Identifier (DOI)

  • 10.1016/j.jss.2017.05.098

Additional Document Info

Parent Title

  • JOURNAL OF SYSTEMS AND SOFTWARE

Volume

  • 131

Publisher

  • Elsevier