Muutke küpsiste eelistusi

E-raamat: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2014

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 110,53 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2014Suurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This 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.

Formal Models & Verification & Predictability.- Languages for Requirements.- Parallel Architectures.- Modelling and Verification of power properties.-
Part I Formal Models and Verification and Predictability
1 Automatic Refinement Checking for Formal System Models
3(20)
Julia Seiter
Robert Wille
Ulrich Kuhne
Rolf Drechsler
2 Towards Simulation Based Evaluation of Safety Goal Violations in Automotive Systems
23(18)
Oezlem Karaca
Jerome Kirscher
Linus Maurer
Georg Pelz
3 Hybrid Dynamic Data Race Detection in SystemC
41(16)
Alper Sen
Onder Kalaci
Part II Languages for Requirements
4 Semi-formal Representation of Requirements for Automotive Solutions Using SysML
57(26)
Liana Musat
Markus Hubl
Andi Buzo
Georg Pelz
Susanne Kandl
Peter Puschner
5 A New Property Language for the Specification of Hardware-Dependent Embedded System Software
83(18)
Binghao Bao
Carlos Villarraga
Bernard Schmidt
Dominik Stoffel
Wolfgang Kunz
6 Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
101(14)
Oliver Keszocze
Robert Wille
Part III Parallel Architectures
7 Synthesizing Code for GPGPUs from Abstract Formal Models
115(20)
Gabriel Hjort Blindell
Christian Menne
Ingo Sander
8 A Framework for Distributed, Loosely-Synchronized Simulation of Complex SystemC/TLM Models
135(22)
Christian Sauer
Hans-Martin Bluethgen
Hans-Peter Loeb
Part IV Modelling and Verification of Power Properties
9 Towards Satisfaction Checking of Power Contracts in Uppaal
157(24)
Gregor Nitsche
Kim Gruttner
Wolfgang Nebel
10 SystemC AMS Power Electronic Modelling with Ideal Instantaneous Switches
181
Leandro Gil
Martin Radetzki
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97833192445702e.html
Märksõnad: