Hochschulschrift
From formal semantics to verified slicing : a modular framework with applications in language based security
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783866445949
- Maße
-
21 cm, 350 g
- Umfang
-
XIX, 203 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Hergestellt on demand
Zugl.: Karlsruher Inst. für Technologie, Diss., 2010
- Schlagwort
-
Sicherheitskritisches System
Statische Analyse
Program Slicing
Korrektheit
Verifikation
Isabelle
Kontrollflussdiagramm
Abhängigkeitsgraph
Formale Semantik
Semantics
- Ereignis
-
Veröffentlichung
- (wo)
-
Karlsruhe
- (wer)
-
KIT Scientific Publ.
- (wann)
-
2011
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:16 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
- Hochschulschrift
Beteiligte
- Wasserrab, Daniel
- KIT Scientific Publ.
Entstanden
- 2011
Ähnliche Objekte (12)
A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler
Modulare optoelektronische mikrofluidische Backplane
Modulare, verteilte Hardware-Software-Architektur für humanoide Roboter
F+E-Vorhaben MAF-UIS, 2.2012/14
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2010
Information management and market engineering, [1].
F+E-Vorhaben KEWA, Phase 6. 2010/2011
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2011
F+E-Vorhaben MAF-UIS, 1.2011/12
Information management and market engineering, Vol. 2
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2009.. Held in La Bresse, France, on August 02-02, 2009
F+E-Vorhaben KEWA, Phase 4.2008/09.
A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler
Modulare optoelektronische mikrofluidische Backplane
Modulare, verteilte Hardware-Software-Architektur für humanoide Roboter
F+E-Vorhaben MAF-UIS, 2.2012/14
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2010
Information management and market engineering, [1].
F+E-Vorhaben KEWA, Phase 6. 2010/2011
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2011
F+E-Vorhaben MAF-UIS, 1.2011/12
Information management and market engineering, Vol. 2
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2009.. Held in La Bresse, France, on August 02-02, 2009
F+E-Vorhaben KEWA, Phase 4.2008/09.
A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler
Modulare optoelektronische mikrofluidische Backplane
Modulare, verteilte Hardware-Software-Architektur für humanoide Roboter
F+E-Vorhaben MAF-UIS, 2.2012/14
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2010
Information management and market engineering, [1].
F+E-Vorhaben KEWA, Phase 6. 2010/2011
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2011
F+E-Vorhaben MAF-UIS, 1.2011/12
Information management and market engineering, Vol. 2
Proceedings of the ... Joint Workshop of Fraunhofer IOSB and Institute for Anthropomatics, Vision and Fusion Laboratory, 2009.. Held in La Bresse, France, on August 02-02, 2009