Monografie
Automated assertion transformation across multiple abstraction levels
- Sprache
-
Englisch
- Anmerkungen
-
München, Techn. Univ., Diss., 2009
- Identifier
-
999335618
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
A new assertion language covering multiple levels of abstraction
Die Entwicklung des Notarztwesens in der Stadt und Region München
Ansys Forming – New GUI for Sheet Metal Forming Simulations with LS-Dyna
Shot Noise Detection in Carbon Nanotube Quantum Dots
Simulation of autonomous robot teams with adaptable levels of abstraction
Automated qualitative abstraction and its application to automotive systems
2-Pyridon-katalysierte Esteraminolyse
Neue Funktionen von Xrs2 für die Aufrechterhaltung genomischer Stabilität in der Hefe S. cerevisiae
Macroscopic Safety Requirements for Highly Automated Driving
US-German Workshop on Salt Repository Research, Design, and Operation (KIT Scientific Reports ; 7569)
HIV-positive men who have sex with men (MSM) are at high risk of development of significant liver fibrosis after an episode of acute hepatitis C
Resource allocation for single and multiple antenna OFDM uplink and downlink systems
A new assertion language covering multiple levels of abstraction
Die Entwicklung des Notarztwesens in der Stadt und Region München
Ansys Forming – New GUI for Sheet Metal Forming Simulations with LS-Dyna
Shot Noise Detection in Carbon Nanotube Quantum Dots
Simulation of autonomous robot teams with adaptable levels of abstraction
Automated qualitative abstraction and its application to automotive systems
2-Pyridon-katalysierte Esteraminolyse
Neue Funktionen von Xrs2 für die Aufrechterhaltung genomischer Stabilität in der Hefe S. cerevisiae
Macroscopic Safety Requirements for Highly Automated Driving
US-German Workshop on Salt Repository Research, Design, and Operation (KIT Scientific Reports ; 7569)
HIV-positive men who have sex with men (MSM) are at high risk of development of significant liver fibrosis after an episode of acute hepatitis C
Resource allocation for single and multiple antenna OFDM uplink and downlink systems
A new assertion language covering multiple levels of abstraction
Die Entwicklung des Notarztwesens in der Stadt und Region München
Ansys Forming – New GUI for Sheet Metal Forming Simulations with LS-Dyna
Shot Noise Detection in Carbon Nanotube Quantum Dots
Simulation of autonomous robot teams with adaptable levels of abstraction
Automated qualitative abstraction and its application to automotive systems
2-Pyridon-katalysierte Esteraminolyse
Neue Funktionen von Xrs2 für die Aufrechterhaltung genomischer Stabilität in der Hefe S. cerevisiae
Macroscopic Safety Requirements for Highly Automated Driving
US-German Workshop on Salt Repository Research, Design, and Operation (KIT Scientific Reports ; 7569)
HIV-positive men who have sex with men (MSM) are at high risk of development of significant liver fibrosis after an episode of acute hepatitis C