Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1415 Publications
2011 | Book Chapter | LibreCat-ID: 2607
Bedarfsorientiertes Kapazitätsmanagement in Supply Chains
S. Betz, in: S. Betz (Ed.), Ausgewählte Probleme des Logistikmanagements, Hamburg, 2011, pp. 109–137.
LibreCat
S. Betz, in: S. Betz (Ed.), Ausgewählte Probleme des Logistikmanagements, Hamburg, 2011, pp. 109–137.
2011 | Book | LibreCat-ID: 26185
Verfahren zur Entwicklung konsistenter Produkt- und Technologiestrategien
V. Brink, Verfahren zur Entwicklung konsistenter Produkt- und Technologiestrategien, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
V. Brink, Verfahren zur Entwicklung konsistenter Produkt- und Technologiestrategien, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Dissertation | LibreCat-ID: 26187
Konfigurierbare Hardwarebeschleuniger für selbst-organisierende Karten
C. Pohl, Konfigurierbare Hardwarebeschleuniger für selbst-organisierende Karten, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
C. Pohl, Konfigurierbare Hardwarebeschleuniger für selbst-organisierende Karten, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Dissertation | LibreCat-ID: 26188
Entwicklungssystematik zur Integration kognitiver Funktionen in fortgeschrittene mechatronische Systeme
R. Dumitrescu, Entwicklungssystematik zur Integration kognitiver Funktionen in fortgeschrittene mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
R. Dumitrescu, Entwicklungssystematik zur Integration kognitiver Funktionen in fortgeschrittene mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Dissertation | LibreCat-ID: 26189
A Specification Technique for the Conceptual Design of Manufacturing Systems
M. Reyes Perez, A Specification Technique for the Conceptual Design of Manufacturing Systems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
M. Reyes Perez, A Specification Technique for the Conceptual Design of Manufacturing Systems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Dissertation | LibreCat-ID: 26194
Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM).
R. Krol, Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)., Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
R. Krol, Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)., Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Conference (Editor) | LibreCat-ID: 26195
8. Paderborner Workshop Entwurf mechatronischer Systeme
J. Gausemeier, F.-J. Rammig, W. Schäfer, A. Trächtler, eds., 8. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
J. Gausemeier, F.-J. Rammig, W. Schäfer, A. Trächtler, eds., 8. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Conference (Editor) | LibreCat-ID: 26196
10. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, F. Meyer auf der Heide, eds., 10. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
J. Gausemeier, M. Grafe, F. Meyer auf der Heide, eds., 10. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Dissertation | LibreCat-ID: 26197
Eine Methode zum Entwurf von Zielsystemen selbstoptimierender mechatronischer Systeme
S. Pook, Eine Methode zum Entwurf von Zielsystemen selbstoptimierender mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
S. Pook, Eine Methode zum Entwurf von Zielsystemen selbstoptimierender mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Conference (Editor) | LibreCat-ID: 26198
Vorausschau und Technologieplanung. 7. Symposium für Vorausschau und Technologieplanung
J. Gausemeier, ed., Vorausschau und Technologieplanung. 7. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
J. Gausemeier, ed., Vorausschau und Technologieplanung. 7. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 26276
Implementation of a Singular Value Decomposition Module on an FPGA
M. Hosseinimehr, N. Montealegre, in: The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, Calgary, Canada, 2011.
LibreCat
M. Hosseinimehr, N. Montealegre, in: The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, Calgary, Canada, 2011.
2011 | Conference Paper | LibreCat-ID: 26279
Automatic Feature Classification for Object Detection based on Motion Analysis
A. Jungmann, B. Kleinjohann, in: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, Wellington, New Zealand, 2011.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, Wellington, New Zealand, 2011.
2011 | Conference Paper | LibreCat-ID: 26281
Towards Using Virtual Forces for Image Registration
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
LibreCat
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
2011 | Journal Article | LibreCat-ID: 26357
Determination of the Schmidt number
J. Sperling, W. Vogel, Physical Review A (2011).
LibreCat
| DOI
J. Sperling, W. Vogel, Physical Review A (2011).
2011 | Journal Article | LibreCat-ID: 26358
The Schmidt number as a universal entanglement measure
J. Sperling, W. Vogel, Physica Scripta (2011).
LibreCat
| DOI
J. Sperling, W. Vogel, Physica Scripta (2011).
2011 | Journal Article | LibreCat-ID: 2644
Zur Bewertung von Verlustgesellschaften nach den Änderungen des §8c KStG durch das Wachstumsbeschleunigungsgesetz
M. Diller, D. Kundisch, T. Späth, CORPORATE FINANCE biz (2011) 153–156.
LibreCat
M. Diller, D. Kundisch, T. Späth, CORPORATE FINANCE biz (2011) 153–156.
2011 | Book Chapter | LibreCat-ID: 2662
How to manage and Search/Retrieve Information Objects
C. Dannewitz, et al, in: Architecture and Design for the Future Internet, 2011.
LibreCat
| Download (ext.)
C. Dannewitz, et al, in: Architecture and Design for the Future Internet, 2011.
2011 | Book Chapter | LibreCat-ID: 2663
Integrating Generic Paths and NetInf
C. Dannewitz, et al, in: Architecture and Design for the Future Internet, 2011.
LibreCat
| Download (ext.)
C. Dannewitz, et al, in: Architecture and Design for the Future Internet, 2011.
2011 | Conference Paper | LibreCat-ID: 26660
A Distributed Multi-UAV Path Planning Approach for 3D Environments
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
LibreCat
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, in: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), Wellington, New Zealand, 2011.
2011 | Conference Paper | LibreCat-ID: 26663
A Bio-inspired Coverage and Connectivity Maintenance Algorithm
E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
LibreCat
E. Mathews, T. Graf, K.S.S.B. Kulathunga, in: Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
2011 | Conference Paper | LibreCat-ID: 26667
Aspect enhanced functional coverage driven verification in the SystemC HDVL
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
2011 | Conference Paper | LibreCat-ID: 26669
IP-XACT based System Level Mutation Testing
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
2011 | Journal Article | LibreCat-ID: 26670
Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures
S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer Systems Science & Engineering 26 (6) (2011).
LibreCat
S. Henkler, S. Oberthür, H. Giese, A. Seibel, International Journal of Computer Systems Science & Engineering 26 (6) (2011).
2011 | Journal Article | LibreCat-ID: 26671
Enabling Constraint-based Binary Reconfiguration by Binary Analysis
D. Baldin, S. Grösbrink, S. Oberthür, International Journal on Computing (JoC) 1(4) (2011).
LibreCat
D. Baldin, S. Grösbrink, S. Oberthür, International Journal on Computing (JoC) 1(4) (2011).
2011 | Conference Paper | LibreCat-ID: 26673
F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems
F. Bin Tariq, in: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, Poznan, Poland, 2011.
LibreCat
F. Bin Tariq, in: 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, Poznan, Poland, 2011.
2011 | Conference Paper | LibreCat-ID: 26687
High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems
D. Orfanus, P. Janacik, F. Eliassen, P. Orten, in: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, Salamanca, Spain, 2011.
LibreCat
D. Orfanus, P. Janacik, F. Eliassen, P. Orten, in: Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, Salamanca, Spain, 2011.
2011 | Book (Editor) | LibreCat-ID: 2669
Ausgewählte Probleme des Logistikmanagements
S. Betz, ed., Ausgewählte Probleme Des Logistikmanagements, Hamburg, 2011.
LibreCat
S. Betz, ed., Ausgewählte Probleme Des Logistikmanagements, Hamburg, 2011.
2011 | Conference Paper | LibreCat-ID: 26698
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
2011 | Conference Paper | LibreCat-ID: 26699
A Test Bed for Investigating Self-X Properties in Multi-Robot Societies
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
2011 | Conference Paper | LibreCat-ID: 26701
Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties
J. Gausemeier, T. Schierbaum, R. Dumitrescu, S. Herbrechtsmeier, A. Jungmann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
J. Gausemeier, T. Schierbaum, R. Dumitrescu, S. Herbrechtsmeier, A. Jungmann, in: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
2011 | Conference Paper | LibreCat-ID: 26702
Comparison of periodic and aperiodic task models for cyber-physical-systems
A. Thuy, in: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011.
LibreCat
A. Thuy, in: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011.
2011 | Journal Article | LibreCat-ID: 26705
Verification Closure of SystemC Designs with Functional Coverage
C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).
LibreCat
C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).
2011 | Conference Paper | LibreCat-ID: 26707
A Localized Planarization Algorithm for Realistic Wireless Networks
E. Mathews, H. Frey, in: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), IEEE Computer Society, 2011, pp. 1–9.
LibreCat
E. Mathews, H. Frey, in: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), IEEE Computer Society, 2011, pp. 1–9.
2011 | Conference Paper | LibreCat-ID: 26710
Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie
M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.
LibreCat
M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.
2011 | Journal Article | LibreCat-ID: 26711
Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, ThinkMind, International Journal On Advances in Software 3 (3&4) (2011) 351–370.
LibreCat
C. Rasche, C. Stern, L. Kleinjohann, B. Kleinjohann, ThinkMind, International Journal On Advances in Software 3 (3&4) (2011) 351–370.
2011 | Conference Paper | LibreCat-ID: 26712
Self-Organized Cooperation in Swarm Robotics
Y. Khaluf, E. Mathews, F.-J. Rammig, in: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, Newport Beach, California, USA, 2011, pp. 217–226.
LibreCat
Y. Khaluf, E. Mathews, F.-J. Rammig, in: 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, Newport Beach, California, USA, 2011, pp. 217–226.
2011 | Conference Paper | LibreCat-ID: 26713
A Reconfiguration Approach for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.
LibreCat
K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.
2011 | Conference Paper | LibreCat-ID: 26714
Self-Reconfiguration for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, Newport Beach, California, USA, 2011.
LibreCat
K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, Newport Beach, California, USA, 2011.
2011 | Conference Paper | LibreCat-ID: 26715
Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction
C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.
LibreCat
C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.
2011 | Conference Paper | LibreCat-ID: 26716
A Retargetable SysML-based Front-End for High-Level Synthesis
F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
2011 | Conference Paper | LibreCat-ID: 26717
A SysML-based Framework with QEMU-SystemC Code Generation
D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU Users Forum, 2011.
2011 | Book (Editor) | LibreCat-ID: 26726
Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen
F. Hellmich, ed., Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen, Kohlhammer, Stuttgart, 2011.
LibreCat
F. Hellmich, ed., Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen, Kohlhammer, Stuttgart, 2011.
2011 | Book Chapter | LibreCat-ID: 26745
Lehren und Lernen im Geometrieunterricht
F. Hellmich, in: F.B. Wember, U. Heimlich (Eds.), Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis, 2nd ed., Kohlhammer, Stuttgart, 2011, pp. 294–306.
LibreCat
F. Hellmich, in: F.B. Wember, U. Heimlich (Eds.), Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis, 2nd ed., Kohlhammer, Stuttgart, 2011, pp. 294–306.
2011 | Book Chapter | LibreCat-ID: 26749
Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang auf die weiterführenden Schulen
F. Hellmich, in: D. Kucharz, T. Irion, B. Reinhoffer (Eds.), Grundlegende Bildung ohne Brüche, Springer VS, Wiesbaden, 2011, pp. 215–218.
LibreCat
| DOI
F. Hellmich, in: D. Kucharz, T. Irion, B. Reinhoffer (Eds.), Grundlegende Bildung ohne Brüche, Springer VS, Wiesbaden, 2011, pp. 215–218.
2011 | Book Chapter | LibreCat-ID: 26750
Entwicklung von Selbstkonzepten bei Kindern im Grundschulalter – ein Überblick
F. Hellmich, F. Günther, in: F. Hellmich (Ed.), Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen, Kohlhammer, Stuttgart, 2011, pp. 17–46.
LibreCat
F. Hellmich, F. Günther, in: F. Hellmich (Ed.), Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen, Kohlhammer, Stuttgart, 2011, pp. 17–46.
2011 | Book Chapter | LibreCat-ID: 26751
Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache
F. Hellmich, S. Niebuhr-Siebert, in: S. Hornberg, R. Valtin (Eds.), Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb? – empirische Befunde und Beispiele guter Praxis, Deutsche Gesellschaft für Lesen und Schreiben, Berlin, 2011, pp. 287–293.
LibreCat
F. Hellmich, S. Niebuhr-Siebert, in: S. Hornberg, R. Valtin (Eds.), Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb? – empirische Befunde und Beispiele guter Praxis, Deutsche Gesellschaft für Lesen und Schreiben, Berlin, 2011, pp. 287–293.
2011 | Conference Paper | LibreCat-ID: 26782
QEMU/SystemC Cosimulation at Different Abstraction Levels
M. Becker, in: 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat
M. Becker, in: 1st International QEMU Users Forum (QUF’11), 2011.
2011 | Book Chapter | LibreCat-ID: 26783
Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems
P. Adelt, N. Esau, C. Hölscher, B. Kleinjohann, L. Kleinjohann, M. Krüger, D. Zimmer, in: Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–194.
LibreCat
P. Adelt, N. Esau, C. Hölscher, B. Kleinjohann, L. Kleinjohann, M. Krüger, D. Zimmer, in: Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–194.
2011 | Conference Paper | LibreCat-ID: 26784
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk
G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat
G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
2011 | Conference Paper | LibreCat-ID: 26787
Pattern-Based Modeling and Formalizing of Business Process Quality Constraints
L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–535.
LibreCat
L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–535.