Search Results for Testing.

1.

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

Yazar

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80889-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Yazar

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-67549-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Yazar

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-70389-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Yazar

Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-49052-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Yazar

Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47443-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Yazar

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(332962.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Yazar

Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335141.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-41707-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Yazar

Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-34691-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Group Testing Theory in Network Security An Advanced Solution

Yazar

Thai, My T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-0128-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

Yazar

Bottaci, Leonardo. editor. Fraser, Gordon. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-15585-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Primality Testing and Integer Factorization in Public-Key Cryptography

Yazar

Yan, Song Y. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-0-387-77268-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

Yazar

Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-68524-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

The Testing Network An Integral Approach to Test Activities in Large Software Projects

Yazar

Henry, Pierre. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-78504-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

Yazar

Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-73066-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

Yazar

Uyar, M. Ümit. editor. Duale, Ali Y. editor. Fecko, Mariusz A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11754008

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

Yazar

Khendek, Ferhat. editor. Dssouli, Rachida. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b136676

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Wi-Fi 7 Principles, Technology, and Applications

Yazar

Cheng, Gang. author. (orcid)0009-0004-8970-7762 Qian, Zhihong. author. Jiang, Yiming. author. Yang, Zhijie. author. Rajamanickam, Thirumurthy. author.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-9026-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Digital Twins for Wireless Networks Overview, Architecture, and Challenges

Yazar

Afzal, Muhammad Khalil. editor. Naeem, Muhammad. editor. Ejaz, Waleed. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-73679-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

Yazar

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-4656-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

Yazar

Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-49269-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings

Yazar

Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-49342-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I

Yazar

Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-49266-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V

Yazar

Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61362-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV

Yazar

Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61359-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

Yazar

Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61353-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Information Security, Privacy and Digital Forensics Select Proceedings of the International Conference, ICISPD 2022

Yazar

Patel, Sankita J. editor. Chaudhary, Naveen Kumar. editor. Gohil, Bhavesh N. editor. Iyengar, S. S. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-5091-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57246-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57249-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

Yazar

Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-57256-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III

Yazar

Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61356-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I

Yazar

Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-61351-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022

Yazar

Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-99-4554-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

Yazar

Mahmood, Zaigham. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54325-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers

Yazar

Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-57858-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Towards Autonomous Robotic Systems 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017, Proceedings

Yazar

Gao, Yang. editor. Fallah, Saber. editor. Jin, Yaochu. editor. (orcid)0000-0003-1100-0631 Lekakou, Constantina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-64107-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Information Security of Highly Critical Wireless Networks

Yazar

Martellini, Maurizio. author. Abaimov, Stanislav. author. Gaycken, Sandro. author. Wilson, Clay. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-52905-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Reversible Computation 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings

Yazar

Phillips, Iain. editor. Rahaman, Hafizur. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-59936-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

VLSI Design and Test 21st International Symposium, VDAT 2017, Roorkee, India, June 29 - July 2, 2017, Revised Selected Papers

Yazar

Kaushik, Brajesh Kumar. editor. Dasgupta, Sudeb. editor. Singh, Virendra. editor. (orcid)0000-0002-9113-5167 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-7470-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Yazar

Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-60225-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Yazar

Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-51738-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Yazar

Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-69926-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

Cyber-security of SCADA and Other Industrial Control Systems

Yazar

Colbert, Edward J. M. editor. Kott, Alexander. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-32125-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

Yazar

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-50230-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

Wireless Sensor Networks for Structural Health Monitoring

Yazar

Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)