- Sprache
-
Englisch
- Identifier
-
1238519458
- Reihe
-
CEUR Workshop Proceedings; 1060
Beteiligte Personen und Organisationen
Oberkampf, Heiner
Zillner, Sonja
Bauer, Bernhard
Hammon, Matthias
Dumontier, Michel
Hoehndorf, Robert
Baker, Christopher J. O.
Zillner, Sonja
Bauer, Bernhard
Hammon, Matthias
Dumontier, Michel
Hoehndorf, Robert
Baker, Christopher J. O.
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:52 MEZ
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
- Monografie
Beteiligte
- Oberkampf, Heiner
- Zillner, Sonja
- Bauer, Bernhard
- Hammon, Matthias
- Dumontier, Michel
- Hoehndorf, Robert
- Baker, Christopher J. O.
Ähnliche Objekte (12)
UML class diagrams revisited in the context of agent-based systems
Attributed algebraic specifications
Attributed algebraic specifications
Data-flow based model analysis and its applications
Cognitive-linguistics-based request answer system
An agent-based personalized producer/consumer scenario
Automatic generation and evolution of model transformations using ontology engineering space
Mining High-Quality Business Process Models from Real-Life Event Logs
A novel heuristic method for improving the fitness of mined business process models
Bridging the gap between structural and behavioral models in a software-centric environment
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
UML class diagrams revisited in the context of agent-based systems
Attributed algebraic specifications
Attributed algebraic specifications
Data-flow based model analysis and its applications
Cognitive-linguistics-based request answer system
An agent-based personalized producer/consumer scenario
Automatic generation and evolution of model transformations using ontology engineering space
Mining High-Quality Business Process Models from Real-Life Event Logs
A novel heuristic method for improving the fitness of mined business process models
Bridging the gap between structural and behavioral models in a software-centric environment
ISAR: An interactive system for algebraic implementation proofs
Proving the correctness of algebraic implementations by the ISAR system
UML class diagrams revisited in the context of agent-based systems
Attributed algebraic specifications
Attributed algebraic specifications
Data-flow based model analysis and its applications
Cognitive-linguistics-based request answer system
An agent-based personalized producer/consumer scenario
Automatic generation and evolution of model transformations using ontology engineering space
Mining High-Quality Business Process Models from Real-Life Event Logs
A novel heuristic method for improving the fitness of mined business process models
Bridging the gap between structural and behavioral models in a software-centric environment
ISAR: An interactive system for algebraic implementation proofs