Join BookitisSave favorites, build lists, and follow creators.

Embedded Systems Design Analysis and Verification IFIP Advances in Information and Communication Technology

Work detail

Bookitis Pick
Cover for Embedded Systems Design Analysis and Verification
            
                IFIP Advances in Information and Communication Technology
ES
Image source: Open Library
Gunar Schirner1 editions

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.

Overview

Shared work-level identity and catalog context.

1 credited authorSearch language english

Bookitis keeps work pages focused on the shared book identity and the editions that actually belong to it. Unrelated books should not appear here as primary content.

Contributors

People credited with this work in the active catalog.

  • Gunar Schirner

    Author profile in the active Bookitis catalog

    Open Author

Editions

Publication-specific versions linked to this work only.