- Sprache
-
Englisch
- Umfang
-
196 S.
- ISBN
-
978-3-936771-56-5
- Identifier
-
978112725
- Reihe
-
Reihe trustworthy software systems; Vol. 2
Thema
Softwareentwicklung ; Zuverlässigkeit ; Fehlertoleranz ; Model Checking ; Eingebettetes System ; Softwaresystem ; Leistungsbewertung ; Aufsatzsammlung
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
16.08.2023, 18:34 MESZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Proceedings of the international research training groups workshop 2006 : 6 - 8th November 2006, Dagstuhl
Proceedings des gemeinsamen Workshops der Graduiertenkollegs 2008 : [19. - 21. Mai 2008, Dagstuhl]
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Towards comparability in evaluating the fault tolerance of safety critical embedded software
Computer safety, reliability, and security : proceedings
Reliable systems on unreliable networked platforms : revised selected papers
Composition of embedded systems : scientific and industrial issues ; revised selected papers
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Computer safety, reliability, and security : 32nd international conference
Proceedings of the international research training groups workshop 2006 : 6 - 8th November 2006, Dagstuhl
Proceedings des gemeinsamen Workshops der Graduiertenkollegs 2008 : [19. - 21. Mai 2008, Dagstuhl]
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Towards comparability in evaluating the fault tolerance of safety critical embedded software
Computer safety, reliability, and security : proceedings
Reliable systems on unreliable networked platforms : revised selected papers
Composition of embedded systems : scientific and industrial issues ; revised selected papers
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings
Computer safety, reliability, and security : 32nd international conference
Proceedings of the international research training groups workshop 2006 : 6 - 8th November 2006, Dagstuhl
Proceedings des gemeinsamen Workshops der Graduiertenkollegs 2008 : [19. - 21. Mai 2008, Dagstuhl]
Formal methods for industrial critical systems : 14th international workshop ; proceedings
Formal methods for industrial critical systems : 12th international workshop ; revised selected papers
Formal methods for industrial critical systems : 13th international workshop ; revised selected papers
Formal techniques in real time and fault tolerant systems : 7th international symposium ; proceedings
Towards comparability in evaluating the fault tolerance of safety critical embedded software
Computer safety, reliability, and security : proceedings
Reliable systems on unreliable networked platforms : revised selected papers
Composition of embedded systems : scientific and industrial issues ; revised selected papers
Formal techniques in real time and fault tolerant systems : 5th international symposium ; proceedings