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.
5711 Publications
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 | 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.
2011 | Conference Paper | LibreCat-ID: 26789
Native binary mutation analysis for embedded software and virtual prototypes in SystemC
C. Kuznik, W. Müller, in: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
C. Kuznik, W. Müller, in: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
2011 | Book Chapter | LibreCat-ID: 26792
Emotional Robot Competence and Its Use in Robot Behavior Control
N. Esau, L. Kleinjohann, in: Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.
LibreCat
N. Esau, L. Kleinjohann, in: Emotional Engineering, Springer-Verlag London, 2011, pp. 119–142.
2011 | Conference Paper | LibreCat-ID: 26794
Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, L. Kleinjohann, in: Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
LibreCat
A. Jungmann, J. Lutterbeck, B. Werdehausen, B. Kleinjohann, L. Kleinjohann, in: Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
2011 | Book Chapter | LibreCat-ID: 26805
A Fast Hierarchical Learning Approach for Autonomous Robots
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–558.
LibreCat
| DOI
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–558.
2011 | Book Chapter | LibreCat-ID: 26810
Increasing Learning Speed by Imitation in Multi-robot Societies
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307.
LibreCat
| DOI
A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307.
2011 | Conference Paper | LibreCat-ID: 3811
Back to the Roots of Genres: Text Classification by Language Function
H. Wachsmuth, K. Bujna, in: B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, I. Ruthven (Eds.), Proceedings of 5th International Joint Conference on Natural Language Processing, 2011, pp. 632–640.
LibreCat
| Download (ext.)
H. Wachsmuth, K. Bujna, in: B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, I. Ruthven (Eds.), Proceedings of 5th International Joint Conference on Natural Language Processing, 2011, pp. 632–640.
2011 | Conference Paper | LibreCat-ID: 3875
Constructing Efficient Information Extraction Pipelines
H. Wachsmuth, B. Stein, G. Engels, in: B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, I. Ruthven (Eds.), 20th ACM International Conference on Information and Knowledge Management, 2011, pp. 2237–2240.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, G. Engels, in: B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, I. Ruthven (Eds.), 20th ACM International Conference on Information and Knowledge Management, 2011, pp. 2237–2240.
2011 | Mastersthesis | LibreCat-ID: 2902
The Monotone Complexity of Computing k-Clique on Random Graphs
M. Märtens, The Monotone Complexity of Computing K-Clique on Random Graphs, 2011.
LibreCat
M. Märtens, The Monotone Complexity of Computing K-Clique on Random Graphs, 2011.
2011 | Dissertation | LibreCat-ID: 2910
Algorithms for lattice problems with respect to general norms
S. Naewe, Algorithms for Lattice Problems with Respect to General Norms, Universität Paderborn, 2011.
LibreCat
| Download (ext.)
S. Naewe, Algorithms for Lattice Problems with Respect to General Norms, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 2985
Hardness and Non-Approximability of Bregman Clustering Problems.
M.R. Ackermann, J. Blömer, C. Scholz, (2011).
LibreCat
M.R. Ackermann, J. Blömer, C. Scholz, (2011).
2011 | Book Chapter | LibreCat-ID: 2986
How to Share a Secret
J. Blömer, in: Algorithms Unplugged, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 159–168.
LibreCat
| DOI
J. Blömer, in: Algorithms Unplugged, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 159–168.
2011 | Preprint | LibreCat-ID: 2987
Solving the Closest Vector Problem with respect to Lp Norms
J. Blömer, S. Naewe, ArXiv:1104.3720 (2011).
LibreCat
J. Blömer, S. Naewe, ArXiv:1104.3720 (2011).
2011 | Conference Paper | LibreCat-ID: 3137
Short Signatures from Weaker Assumptions
D. Hofheinz, T. Jager, E. Kiltz, in: Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 2011, pp. 647--666.
LibreCat
| DOI
D. Hofheinz, T. Jager, E. Kiltz, in: Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 2011, pp. 647--666.
2011 | Conference Paper | LibreCat-ID: 3138
How to break XML encryption
T. Jager, J. Somorovsky, in: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422.
LibreCat
| DOI
T. Jager, J. Somorovsky, in: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422.
2011 | Journal Article | LibreCat-ID: 3183
Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
2011 | Journal Article | LibreCat-ID: 3184
Mechanically verified proof obligations for linearizability
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
2011 | Conference Paper | LibreCat-ID: 3185
ReL: {A} Generic Refactoring Language for Specification and Execution
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
2011 | Conference Paper | LibreCat-ID: 3186
Verifying Linearisability with Potential Linearisation Points
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
2011 | Conference Paper | LibreCat-ID: 3187
Sound and Complete Abstract Graph Transformation
D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat
| DOI
D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
2011 | Conference Paper | LibreCat-ID: 3188
A {CSP} Account of Event-B Refinement
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
2011 | Conference Paper | LibreCat-ID: 27622
Multi-touch, tangible and pen-based interaction in incident planning
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
LibreCat
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–273.
2011 | Conference Paper | LibreCat-ID: 27623
Virtual Learning Spaces for Co-Active Learning
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
2011 | Conference Paper | LibreCat-ID: 27624
Multi-Touch Interaction for Disaster Management.}
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
LibreCat
V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.
2011 | Conference Paper | LibreCat-ID: 27625
Hypothesis- guided technology design as the basis of contextual computer science
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
LibreCat
R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011, pp. 165–184.
2011 | Conference Paper | LibreCat-ID: 27626
Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns
F. Klompmaker, Karsten Nebe, H. Jung, in: 2011.
LibreCat
F. Klompmaker, Karsten Nebe, H. Jung, in: 2011.
2011 | Conference Paper | LibreCat-ID: 27627
User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application
F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings of the International Conference on Health Informatics, 2011.
LibreCat
F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings of the International Conference on Health Informatics, 2011.
2011 | Conference Paper | LibreCat-ID: 27628
KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
LibreCat
C. Laroque, J. Schulte, in: M.I. Chinni, D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference, 2011.
2011 | Conference Paper | LibreCat-ID: 27629
WasabiBeans - Web Application Services and Business Integration
J. Schulte, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
LibreCat
J. Schulte, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 348–357.
2011 | Conference Paper | LibreCat-ID: 27630
Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support {\ "u} the flow rate in education and training
S. Rudolph, D. Niehus, in: Universit {\" a} t Paderborn, 2011.
LibreCat
S. Rudolph, D. Niehus, in: Universit {\" a} t Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 27631
Koi School - Towards the Next Level of Communication, Organization and Integration in Education
J. Schulte, R. Keil, D. Klaholt, J. Sauer, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
LibreCat
J. Schulte, R. Keil, D. Klaholt, J. Sauer, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, 2011, pp. 43–52.
2011 | Conference Paper | LibreCat-ID: 27632
Support {\ "u} support of the co-active research discourse through synergies between e-learning and e-science
J. Schulte, R. Keil, A. Oberhoff, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M { \ "u} nster, 2011.
LibreCat
J. Schulte, R. Keil, A. Oberhoff, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M { \ "u} nster, 2011.
2011 | Conference Paper | LibreCat-ID: 27633
Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics
J. Schulte, R. Keil, J. Rybka, F. Ferber, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
LibreCat
J. Schulte, R. Keil, J. Rybka, F. Ferber, in: R. Zhang, J. Cordeiro, X. Li, Z. Zhang, J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, 2011, pp. 407–412.
2011 | Conference Paper | LibreCat-ID: 27634
KoForum - Cooperative research environment for {\ "u} for cross-organizational scientific Laboratory work
J. Schulte, J. Rybka, F. Ferber, R. Keil, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
LibreCat
J. Schulte, J. Rybka, F. Ferber, R. Keil, in: Th. K {\ "o} hler, J. Neumann (Eds.), Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
2011 | Dissertation | LibreCat-ID: 27635
Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
LibreCat
P. Erren, Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements, Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 27636
A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities
H.G. Fischer, Karsten Nebe, Florian Klompmaker, (2011) 28–37.
LibreCat
H.G. Fischer, Karsten Nebe, Florian Klompmaker, (2011) 28–37.
2011 | Conference Paper | LibreCat-ID: 27637
Authenticated entries on multi-touch tables
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–308.
LibreCat
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–308.
2011 | Conference Paper | LibreCat-ID: 27638
Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction
Karsten Nebe, F. Klompmaker, H. Jung, H.G. Fischer, (2011) 100–109.
LibreCat
Karsten Nebe, F. Klompmaker, H. Jung, H.G. Fischer, (2011) 100–109.
2011 | Conference Paper | LibreCat-ID: 27639
Der Qualit {\ "a} tsstandard f {\" u} r Usability engineering of the German UPA: Current status of the work
H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, Dirk Zimmermann, in: German UPA, 2011, pp. 72–74.
LibreCat
H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, Dirk Zimmermann, in: German UPA, 2011, pp. 72–74.
2011 | Conference Paper | LibreCat-ID: 20958
Automatic Validation and Correction of Formalized, Textual Requirements
J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.
LibreCat
| DOI
J. Holtmann, J. Meyer, M. von Detten, in: 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011.