Monografie
Interactive systems : design, specification, and verification ; 15th international workshop ; proceedings
- Sprache
-
Englisch
- Umfang
-
IX, 309 S.
- ISBN
-
978-3-540-70568-0
- Identifier
-
989188981
- Reihe
-
Lecture notes in computer science; Vol. 5136
Thema
Multimodales System ; Benutzeroberfläche ; Softwareentwicklung ; Mensch-Maschine-Kommunikation ; Echtzeitverarbeitung ; Benutzermodell ; Systementwurf ; Konferenzschrift Kingston (Ontario); Kongress Kingston
Beteiligte Personen und Organisationen
Graham, Thomas C. Nicholas
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Graham, Thomas C. Nicholas
Ähnliche Objekte (12)
Interactive systems : design, specification, and verification ; 8th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
Interactive Systems : design, specification, and verification ; 9th international workshop ; revised papers
Interactive systems : design, specification, and verification : 13th international workshop ; revised papers
Interactive systems : design, specification, and verification : 12th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 10th international workshop ; revised papers
Design, specification and verification of interactive systems '97 : proceedings of the Eurographics Workshop in Granada, Spain, June 4 - 6, 1997
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Interactive Verification of Statecharts
Human interactive proofs : second international workshop ; proceedings
Interactive Verification of Synchronous Systems
Interactive verification of medical guidelines
Interactive systems : design, specification, and verification ; 8th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
Interactive Systems : design, specification, and verification ; 9th international workshop ; revised papers
Interactive systems : design, specification, and verification : 13th international workshop ; revised papers
Interactive systems : design, specification, and verification : 12th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 10th international workshop ; revised papers
Design, specification and verification of interactive systems '97 : proceedings of the Eurographics Workshop in Granada, Spain, June 4 - 6, 1997
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Interactive Verification of Statecharts
Human interactive proofs : second international workshop ; proceedings
Interactive Verification of Synchronous Systems
Interactive verification of medical guidelines
Interactive systems : design, specification, and verification ; 8th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 7th international workshop ; revised papers
Interactive Systems : design, specification, and verification ; 9th international workshop ; revised papers
Interactive systems : design, specification, and verification : 13th international workshop ; revised papers
Interactive systems : design, specification, and verification : 12th international workshop ; revised papers
Interactive systems : design, specification, and verification ; 10th international workshop ; revised papers
Design, specification and verification of interactive systems '97 : proceedings of the Eurographics Workshop in Granada, Spain, June 4 - 6, 1997
Axiomatic Specification and Interactive Verification of Architectural Design Patterns in FACTum
Interactive Verification of Statecharts
Human interactive proofs : second international workshop ; proceedings
Interactive Verification of Synchronous Systems