Editors:
- Covers design verification, automatic synthesis and mechanized debug aids
- Includes language-based modeling and design techniques for embedded systems
- Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains
- Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE)
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Electrical Engineering (LNEE, volume 106)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 papers)
-
Front Matter
About this book
Editors and Affiliations
-
University of Southampton, Southampton, United Kingdom
Tom J. Kaźmierski
-
ECSI, Gières, France
Adam Morawiec
Bibliographic Information
Book Title: System Specification and Design Languages
Book Subtitle: Selected Contributions from FDL 2010
Editors: Tom J. Kaźmierski, Adam Morawiec
Series Title: Lecture Notes in Electrical Engineering
DOI: https://doi.org/10.1007/978-1-4614-1427-8
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media, LLC 2012
Hardcover ISBN: 978-1-4614-1426-1Published: 02 December 2011
Softcover ISBN: 978-1-4899-9441-7Published: 03 March 2014
eBook ISBN: 978-1-4614-1427-8Published: 02 December 2011
Series ISSN: 1876-1100
Series E-ISSN: 1876-1119
Edition Number: 1
Number of Pages: XII, 256
Topics: Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures