• Media type: E-Article
  • Title: Behavior Modeling -- Foundations and Applications: Integrating Protocol Contracts with Program Code – A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context
  • Contributor: Konersmann, Marco; Goedicke, Michael
  • imprint: Springer International Publishing, 2015
  • Published in: Behavior Modeling -- Foundations and Applications
  • Language: Not determined
  • DOI: 10.1007/978-3-319-21912-7_8
  • ISSN: 0302-9743; 1611-3349
  • Origination:
  • Footnote: