Titlebook: Runtime Verification; 19th International C Bernd Finkbeiner,Leonardo Mariani Conference proceedings 2019 Springer Nature Switzerland AG 201

Bravado

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/832143.jpg

誘使

https://doi.org/10.1007/978-3-030-32079-9runtime verification; runtime monitoring; dynamic analysis; program specification; program instrumentati

收藏品

水土

978-3-030-32078-2Springer Nature Switzerland AG 2019

intrude

Runtime Verification978-3-030-32079-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

新鮮

Georgios Fainekos,Bardh Hoxha,Sriram Sankaranarayanan

激怒

Sean Kauffman,Klaus Havelund,Sebastian Fischmeister

冰雹

Reza Babaee,Vijay Ganesh,Sean Sedwardson language and multilingualism is expanding rapidly. Up until recently we have tended to regard languages as bounded entities, and multilingualism has been understood as knowing more than one language. Working978-94-024-0608-5978-94-007-7856-6Series ISSN 1572-0292 Series E-ISSN 2215-1656

forestry

organism