Languages, design methods, and tools for electronic system design : selected contributions from FDL 2014 /: selected contributions from FDL 2014. (2016)

• Record Type: Book
• Further Information: Note: Frank Oppenheimer, Julio Luis Medina Pasaje, editors.
• Editors: Oppenheimer, Frank; Pasaje, Julio Luis Medina
• Other Names: FDL (Conference)
• Contents: Formal Models & Verification & Predictability -- Languages for Requirements -- Parallel Architectures -- Modelling and Verification of power properties.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Extent: 1 online resource, illustrations
• Subjects: 621.3815; Engineering; Formal methods (Computer science) -- Congresses; Software engineering -- Congresses; Computer software -- Verification -- Congresses; Software architecture -- Congresses; Computer hardware description languages -- Congresses; TECHNOLOGY & ENGINEERING -- Mechanical; Computer hardware description languages; Computer software -- Verification; Formal methods (Computer science); Software architecture; Software engineering; Engineering; Circuits and Systems; Electronics and Microelectronics, Instrumentation; Computer Hardware; Technology & Engineering -- Electronics -- General; Computers -- Hardware -- General; Electronics engineering; Computer hardware; Systems engineering; Electronics; Computer hardware; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319244570; 3319244574
• Related ISBNs: 3319244558; 9783319244556; 9783319244556
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (EBSCO, viewed December 17, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.