المؤلفون: Sharmila, Sk., Nagasai, G. Kavya, Sowmya, M., Prasanna, A.Sai, Sri, S. Navya, Meghana, N.

المصدر: 2023 7th International Conference on Computing Methodologies and Communication (ICCMC) Computing Methodologies and Communication (ICCMC), 2023 7th International Conference on. :170-174 Feb, 2023

Relation: 2023 7th International Conference on Computing Methodologies and Communication (ICCMC)

المساهمون: Finkbeiner, Bernd, Kovács, Laura

مصطلحات موضوعية: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering

وصف الملف: application/pdf

Relation: Lecture Notes in Computer Science

URL الوصول: https://library.oapen.org/handle/20.500.12657/89911

المؤلفون: Khot, Ankita^Aff13, Dave, Mayank^Aff13

المساهمون: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Marriwala, Nikhil, editor^Aff9, Tripathi, C. C., editor^Aff10, Kumar, Dinesh, editor^Aff11, Jain, Shruti, editor^Aff12

المصدر: Mobile Radio Communications and 5G Networks : Proceedings of MRCN 2020. 140:487-499

مصطلحات الفهرس: Machine Learning, eXplainable Artifical Intelligence, Formal Verification of Machine Learning models, Maskininlärning, förklarbar artificiell intelligens, formell verifiering av maskininlärningsmodeller, Computer and Information Sciences, Data- och informationsvetenskap, Student thesis, info:eu-repo/semantics/bachelorThesis, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-337740

مصطلحات الفهرس: Information elicitation without verification, crowdsourcing, machine learning, Data processing Computer science, InProceedings, publishedVersion

URL: https://drops.dagstuhl.de/opus/volltexte/2021/13617/

مصطلحات الفهرس: Information elicitation without verification, crowdsourcing, machine learning, Data processing Computer science, InProceedings, publishedVersion

مصطلحات الفهرس: artificial intelligence, cyber-physical systems, formal methods, formal verification, logics, machine learning, model checking, quantitative verification, safety-critical systems, Data processing Computer science, InProceedings, publishedVersion

URL: https://drops.dagstuhl.de/opus/volltexte/2018/9298/

مصطلحات الفهرس: artificial intelligence, cyber-physical systems, formal methods, formal verification, logics, machine learning, model checking, quantitative verification, safety-critical systems, Data processing Computer science, InProceedings, publishedVersion