Languages for System Specification
Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL'03
Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid, embedded and real-time stems. Together with articles on ne…
Mehr
CHF 204.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
- ISBN: 978-1-4020-7991-7
- EAN: 9781402079917
- Produktnummer: 37169288
- Verlag: Springer US
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 357 S.
- Plattform: PDF
- Auflage: 2004
12 weitere Werke von Christoph (Hrsg.) Grimm:
Bewertungen
Anmelden