Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 [electronic resource]
1st ed. 2004, 2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computational Complexity and Property Testing : On the Interplay Between Randomness and Computation
Theoretical Computer Science and General Issues : 12050
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Programming and Software Engineering : 11812
1st ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing Software and Systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
Programming and Software Engineering : 12543
1st ed. 2020, 2020
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Lecture Notes in Computer Science : 10629
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing – SAT 2021 : 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
Theoretical Computer Science and General Issues : 12831
1st ed. 2021, 2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Lecture Notes in Computer Science : 10028
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Lecture Notes in Computer Science : 9976
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
1st ed. 2015, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Lecture Notes in Computer Science : 10533
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Theory and Applications of Satisfiability Testing – SAT 2019 : 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Theoretical Computer Science and General Issues : 11628
1st ed. 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings [electronic resource]
1st ed. 2010, 2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings [electronic resource]
1st ed. 2015, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers [electronic resource]
1st ed. 2011, 2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hardware and Software: Verification and Testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers [electronic resource]
1st ed. 2011, 2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
1st ed. 2015, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings [electronic resource]
1st ed. 2015, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers [electronic resource]
1st ed. 2006, 2006
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tests and Proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers [electronic resource]
1st ed. 2007, 2007
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Lecture Notes in Computer Science : 9762
2016
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings
Lecture Notes in Computer Science : 10375
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
SDL 2015: Model-Driven Engineering for Smart Cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
1st ed. 2015, 2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Lecture Notes in Computer Science : 10471
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings [electronic resource]
1st ed. 2013, 2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings [electronic resource]
1st ed. 2015, 2015
Volltextzugriff (PDF)
1 – 25 von 119
Suche als RSS-Feed
Aktive Filter
Autor / AutorinInstitute of Electrical and Electronics Engineers,
Autor / AutorinInternational Symposium on Software Testing and Analysis
Autor / AutorinZhu, Dongming
SystemstelleTAY
SchlagwortSocial sciences
SchlagwortStatistics 
SchlagwortComputer logic
Suchergebnisse filtern
Filter anzeigen