[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 5219 || The Effectiveness of T-Way Test Data Generation
- 作者Harrison, Michael D.; Sujan, Mark-Alexander
- 文件大小238.54KB
- 发表时间2008
- DOI10.1007/978-3-540-87698-4_5
- 页码16-29
[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4136 ||Schmidt, Renate A. · 2006
Lecture Notes in Computer Science 4136 Relations and Kleene Algebra in Computer Science 9th InternatRelMiCS/AKA 2006 · Springer-Verlag · 2006
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Relations on HypergraphsKahl, Wolfram; Griffin, Timothy G. · 2012
[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4136 || Topological Representation of Contact LatticesSchmidt, Renate A. · 2006
[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 10304 || Green’s Relations in Finite Transformation SemigroupsWeil, Pascal · 2017
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1980 Volume 88 || On atomic nets and concurrency relationsDembiński, P. · 1980
[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Continuous Relations and Richardson’s TheoremKahl, Wolfram; Griffin, Timothy G. · 2012
[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Reasoning and rewriting with set-relations I: Ground completenessPacholski, Leszek; Tiuryn, Jerzy · 1995
Relations and Kleene algebras in computer scienceRudolf Berghammer; Bernhard Möller; Georg Struth · 2010
[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Pointer Kleene AlgebraBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004
[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Kleene Algebra with RelationsBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004
[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Rasiowa-Sikorski Style Relational Elementary Set TheoryBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004
[Lecture Notes in Computer Science] Relations and Kleene Algebra in Computer Science Volume 4988 || The Algebraic Approach I: The Algebraization of the Chomsky HierarchyBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2008
[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Towards a Formalisation of Relational Database Theory in Constructive Type TheoryBerghammer, Rudolf; Möller, Bernhard; Struth, Georg · 2004