[Lecture Notes in Computer Science] Formal Approaches to Software Testing Volume 3395 || Test Generation Based on Symbolic Specifications
- 作者Grabowski, Jens; Nielsen, Brian
- 文件大小288.22KB
- 发表时间2005
- DOI10.1007/978-3-540-31848-4_1
- 页码1-15
Handbook of Science and Technology Convergence || Convergence Science and Technology at Seoul National UniversityBainbridge, William Sims; Roco, Mihail C. · 2014
Handbook of Science and Technology Convergence || Information Technology Supported ConvergenceBainbridge, William Sims; Roco, Mihail C. · 2016
Handbook of Science and Technology Convergence || Academic Research Centers: Platforms for Convergence of Science, Technology, and InnovationBainbridge, William Sims; Roco, Mihail C. · 2014
Handbook of Science and Technology Convergence || Science and Technology ForecastingBainbridge, William Sims; Roco, Mihail C. · 2016
Handbook of Science and Technology Convergence || Human Computation and ConvergenceBainbridge, William Sims; Roco, Mihail C. · 2014
Handbook of Science and Technology Convergence || The Era of ConvergenceBainbridge, William Sims; Roco, Mihail C. · 2016
Handbook of Science and Technology Convergence || The Convergence of CurationBainbridge, William Sims; Roco, Mihail C. · 2016
Handbook of Science and Technology Convergence || Citizen ScienceBainbridge, William Sims; Roco, Mihail C. · 2014
Reality of Rapid ConvergenceWILLIAM SIMS BAINBRIDGE; MIHAIL C. ROCO · 2006
Handbook of Science and Technology Convergence ||Bainbridge, William Sims; Roco, Mihail C. · 2016
Managing nano-bio-info-cogno innovations ||BAINBRIDGE, WILLIAM SIMS; ROCO, MIHAIL C. · 2006
Handbook of Science and Technology Convergence || ConsilienceBainbridge, William Sims; Roco, Mihail C. · 2016
Handbook of Science and Technology Convergence || NBICBainbridge, William Sims; Roco, Mihail C. · 2014
Handbook of Science and Technology Convergence || ConsilienceBainbridge, William Sims; Roco, Mihail C. · 2014
Handbook of Science and Technology Convergence || CyberlearningBainbridge, William Sims; Roco, Mihail C. · 2014
Handbook of Science and Technology Convergence || Biocognitive EvolutionBainbridge, William Sims; Roco, Mihail C. · 2016