Lecture Notes in Computer Science: Statecharts : Using graphical specification languages and symbolic model checking in the verification of a production cell

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: E-Artikel
Titel: Lecture Notes in Computer Science: Statecharts : Using graphical specification languages and symbolic model checking in the verification of a production cell : Using graphical specification languages and symbolic model checking in the verification of a production cell
Beteiligte: Damm, Werner; Hungar, Hardi; Kelb, Peter; Schlör, Rainer
Erschienen: Springer Berlin Heidelberg, 1995
Erschienen in: Lecture Notes in Computer Science
Sprache: Nicht zu entscheiden
DOI: 10.1007/3-540-58867-1_52
ISSN: 0302-9743; 1611-3349
Entstehung:
Anmerkungen: