- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: International Journal on Software Tools for Technology Transfer, 20, 4, S. 359-377
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2018
- Event
-
Veröffentlichung
- (who)
-
Springer Nature
- (when)
-
2018
- Creator
- DOI
-
10.1007/s10009-017-0464-3
- URN
-
urn:nbn:de:bvb:384-opus4-534108
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Leupolz, Johannes
- Knapp, Alexander
- Habermaier, Axel
- Reif, Wolfgang
- Universität Augsburg
- Springer Nature
Time of origin
- 2018
Other Objects (12)
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
Moving from interface theories to assembly theories
Fault-aware modeling and specification for efficient formal safety analysis
Partizipative Entscheidungsfindung in der hausärztlichen Versorgung des Diabetes mellitus Typ 2 : das Bedürfnis nach Beteiligung und die tatsächliche Realisierung
Korrektheit von Spezifikationen und generischen Moduln
Modular integration of crashsafe caching into a verified virtual file system switch
Towards testing self-organizing, adaptive systems
MiniBrass: soft constraints for MiniZinc
Quality over quantity in soft constraints
npj flexible electronics
npj science of food : a natureresearch journal
Communications biology
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
Moving from interface theories to assembly theories
Fault-aware modeling and specification for efficient formal safety analysis
Partizipative Entscheidungsfindung in der hausärztlichen Versorgung des Diabetes mellitus Typ 2 : das Bedürfnis nach Beteiligung und die tatsächliche Realisierung
Korrektheit von Spezifikationen und generischen Moduln
Modular integration of crashsafe caching into a verified virtual file system switch
Towards testing self-organizing, adaptive systems
MiniBrass: soft constraints for MiniZinc
Quality over quantity in soft constraints
npj flexible electronics
npj science of food : a natureresearch journal
Communications biology
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
Moving from interface theories to assembly theories
Fault-aware modeling and specification for efficient formal safety analysis
Partizipative Entscheidungsfindung in der hausärztlichen Versorgung des Diabetes mellitus Typ 2 : das Bedürfnis nach Beteiligung und die tatsächliche Realisierung
Korrektheit von Spezifikationen und generischen Moduln
Modular integration of crashsafe caching into a verified virtual file system switch
Towards testing self-organizing, adaptive systems
MiniBrass: soft constraints for MiniZinc
Quality over quantity in soft constraints
npj flexible electronics
npj science of food : a natureresearch journal