Integration of software specification techniques for applications in engineering priority program Softspez of the German Research Foundation (DFG) ; final report

Integration of software specification techniques for applications in engineering priority program Softspez of the German Research Foundation (DFG) ; final report

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Berlin u.a. Springer 2004
Schriftenreihe:Lecture notes in computer science 3147 : State-of-the-art survey
Schlagworte:
Formale Methode
Prozessautomation
UML
Petri-Netz
Prozessregelung
Technisches System
Softwareentwicklung
Leitsystem > Technik
Softwarespezifikation
Formale Spezifikationstechnik
Sicherheitskritisches System
Verifikation
Aufsatzsammlung
Online-Zugang:DE-91
DE-384
DE-19
DE-739
Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

DE-91
DE-384
DE-19
DE-739
Volltext

Ähnliche Einträge