@article{1446689,
      note = {Includes author index.},
      author = {Seyman, Muhammet Nuri,},
      url = {http://library.usi.edu/record/1446689},
      title = {Electrical and computer engineering : first International  Congress, ICECENG 2022, Virtual event, February 9-12, 2022,  Proceedings /. ICECENG (Conference)},
      publisher = {Springer,},
      abstract = {This book constitutes the refereed proceedings of the  First International Congress, ICECENG 2022, held in  February 2022. Due to COVID-19 pandemic the conference was  held virtually. The 15 full and 2 short papers were  selected from 48 submissions and are organized in 4 main  tracks: technology trends, artificial intelligence,  computing and security. The papers detail the application  of formal methods to the construction and analysis of  models describing technological processes at both micro and  macro levels.},
      doi = {https://doi.org/10.1007/978-3-031-01984-5},
      recid = {1446689},
      pages = {1 online resource (222 pages)},
      address = {Cham, Switzerland :},
      year = {2022},
}