Media type: E-Book; Conference Proceedings Title: Proceedings of the Twelfth ACMIEEE Conference on Formal Methods and Models for Codesign Corporation: Association for Computing Machinery-Digital Library ; ACM Special Interest Group on Embedded Systems ; ACM Special Interest Group on Design Automation Published: Washington, DC: IEEE Computer Society, 2014 Published in: ACM Conferences ACM Digital Library Extent: 1 online resource Language: English DOI: 10.5555/3041404 ISBN: 9781479953387 Identifier: Keywords: Computer science ; Logic ; Scheduling algorithms ; Sequential decision making ; Konferenzschrift Origination: Footnote: