|
|
|||
|
||||
OverviewThis book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Full Product DetailsAuthor: Frank Oppenheimer , Julio Luis Medina PasajePublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: Softcover reprint of the original 1st ed. 2016 Volume: 361 Weight: 0.454kg ISBN: 9783319796314ISBN 10: 3319796313 Pages: 205 Publication Date: 30 March 2019 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsFormal Models & Verification & Predictability.- Languages for Requirements.- Parallel Architectures.- Modelling and Verification of power properties.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |