Correct Hardware Design and Verification Methods
13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings
viewpoint: we received a total number of 79 submitted papers, out of which 21 long contributionsand 18 short contributionswere accepted for presentationat the conf- enceandinclusioninthisvolume.Allpapersreceivedaminimumofthreereviews. For the conferenceprogram outside the refereed talks we put emphasis on the - latedtopicsoftoolintegrationandpervasivesystemveri?cation.Thedayprecedingthe workingconferencefeaturedhands-ondemonstrationsfornumerousveri?cationtools; italsofeaturedatutorialonsystemveri?cationbymembersoftheVerisoftproject.The overall program of CHARME 2005 included an invited keynote address by Wolfram B¿ uttner on industrial proces…
Mehr
CHF 135.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
L048:
Lieferbar in 48 Stunden
Produktdetails
Weitere Autoren: Paul, Wolfgang (Hrsg.)
- ISBN: 978-3-540-29105-3
- EAN: 9783540291053
- Produktnummer: 1849631
- Verlag: Springer Nature EN
- Sprache: Englisch
- Erscheinungsjahr: 2005
- Seitenangabe: 414 S.
- Masse: 1 Ex.; H23.5 cm x B15.5 cm 1'330 g
- Abbildungen: Book
- Reihenbandnummer: 3725
- Gewicht: 1330
- Sonstiges: Research
4 weitere Werke von Dominique (Hrsg.) Borrione:
Bewertungen
Anmelden