Limit search to available items
Record 45 of 46
Previous Record Next Record
Book Cover

Title System specification and design languages : selected contributions from FDL 2010 / Tom J. Kaźmierski, Adam Morawiec, editors
Published New York, NY : Springer, [2012]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xii, 254 pages)
Series Lecture notes in electrical engineering, 1876-1100 ; v. 106
Lecture notes in electrical engineering ; v. 106
Summary Annotation This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference FDL, which was held in Southampton, UK in September 2010. 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, modelling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems
Analysis Engineering
Computer science
Systems engineering
Circuits and Systems
Electronics and Microelectronics, Instrumentation
Processor Architectures
Bibliography Includes bibliographical references
Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer software -- Verification -- Congresses.
Software architecture -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Kaźmierski, Thomas J.
Morawiec, Adam.
FDL 2010 (2010 : Southampton, England)
ISBN 146141427X (electronic bk.)
9781461414278 (electronic bk.)