- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, 10-12 November 2014, Limassol, Cyprus, S. 453-460
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2014
- Event
-
Veröffentlichung
- (where)
-
Los Alamitos, CA
- (who)
-
IEEE
- (when)
-
2014
- Contributor
-
Andreou, Andreas
- DOI
-
10.1109/ictai.2014.75
- URN
-
urn:nbn:de:bvb:384-opus4-442972
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 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
- Knapp, Alexander
- Schiendorfer, Alexander
- Reif, Wolfgang
- Andreou, Andreas
- Universität Augsburg
- IEEE
Time of origin
- 2014
Other Objects (12)
MiniBrass: soft constraints for MiniZinc
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
Partial valuation structures for qualitative soft constraints
Towards testing self-organizing, adaptive systems
Qualitative and quantitative analysis of safety-critical systems with S#
Fault-aware modeling and specification for efficient formal safety analysis
Case studies with CafeOBJ
A formal approach to object oriented software engineering
Soft Constraints in MiniBrass: Foundations and Applications
Consistency checking in an infrastructure for large-scale generative programming
Property-driven development
MiniBrass: soft constraints for MiniZinc
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
Partial valuation structures for qualitative soft constraints
Towards testing self-organizing, adaptive systems
Qualitative and quantitative analysis of safety-critical systems with S#
Fault-aware modeling and specification for efficient formal safety analysis
Case studies with CafeOBJ
A formal approach to object oriented software engineering
Soft Constraints in MiniBrass: Foundations and Applications
Consistency checking in an infrastructure for large-scale generative programming
Property-driven development
MiniBrass: soft constraints for MiniZinc
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
Partial valuation structures for qualitative soft constraints
Towards testing self-organizing, adaptive systems
Qualitative and quantitative analysis of safety-critical systems with S#
Fault-aware modeling and specification for efficient formal safety analysis
Case studies with CafeOBJ
A formal approach to object oriented software engineering
Soft Constraints in MiniBrass: Foundations and Applications
Consistency checking in an infrastructure for large-scale generative programming