h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Hybrid Sequential Function Charts

;

In
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2012 ; [15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2012 an der Technischen Universität Kaiserslautern] / Jens Brandt ... (Hrsg.), Seiten/Artikel-Nr: 109-120

Konferenz/Event:Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen , MBMV 2012

ImpressumHamburg : Kovač

Umfang109-120

ISBN3-8300-6201-X, 978-3-8300-6201-1

ReiheSchriftenreihe Forschungsergebnisse zur Informatik ; 68

Online
URL: http://www-i2.informatik.rwth-aachen.de/pub/index.php?type=download&pub_id=787&location=mbmv12.pdf-5c60e507ea4adde495f3f69bf948b728.pdf

Einrichtungen

  1. Fachgruppe Informatik (120000)
  2. Juniorprofessur für Theorie Hybrider Systeme (121330)


External link:
Download fulltext
Fulltext

Dokumenttyp
Contribution to a conference proceedings/Contribution to a book

Format
online, print

Sprache
English

Interne Identnummern
RWTH-CONV-200585
Datensatz-ID: 207085

Beteiligte Länder
Germany

 GO

QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
Document types > Books > Contributions to a book
Faculty of Computer Science (Fac.9)
121330_20140620
Public records
Publications database
120000
 Record created 2013-07-17, last modified 2026-02-06
Similar records


External link:
Download fulltext
Fulltext
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)