-
1
المصدر: Runtime Verification ISBN: 9783030884932
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::17b651249ff6e80de122fc3091e4d608
https://doi.org/10.1007/978-3-030-88494-9_15 -
2
المؤلفون: Ellen Kalvan, Yash Vardhan Pant, Daniel J. Fremont, Kesav Viswanadha, Francis Indaheng, Sanjit A. Seshia, Justin C. Wong, Edward Kim
المصدر: AITest
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Artificial Intelligence, business.industry, Computer science, Probabilistic logic, Cyber-physical system, Sampling (statistics), Variety (cybernetics), law.invention, Software Engineering (cs.SE), Computer Science - Software Engineering, Test case, Artificial Intelligence (cs.AI), law, Encoding (memory), Autopilot, Probabilistic programming language, Software engineering, business
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99f19f7db02700333e43f5a702bdf931