Reentrancy? Yes. Reentrancy Bug? No

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	SETTA (6. : 2020 : Online) Dependable software engineering
1. Verfasser:	Cao, Qinxiang (VerfasserIn)
Weitere Verfasser:	Wang, Zhongye (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Graph Transformation Systems: A Semantics Based on (Stochastic) Symmetric Nets	2020	Capra, L.
The Road Ahead for Supervisor Synthesis	2020	Goorden, M. A.
Probably Approximately Correct Interpolants Generation	2020	Xue, Bai
Symbolic Verification of MPI Programs with Non-deterministic Synchronizations	2020	Yu, Hengbiao
Randomized Refinement Checking of Timed I/O Automata	2020	Kiviriga, Andrej
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata	2020	Li, Xie
Learning Safe Neural Network Controllers with Barrier Certificates	2020	Zhao, Hengjun
Software Defect-Proneness Prediction with Package Cohesion and Coupling Metrics Based on Complex Network Theory	2020	Zhou, Yangxi
Symbolic Model Checking with Sentential Decision Diagrams	2020	Vinkhuijzen, Lieuwe
Reentrancy? Yes. Reentrancy Bug? No	2020	Cao, Qinxiang
Modelling and Implementation of Unmanned Aircraft Collision Avoidance	2020	Feng, Weizhi
Compiling FLres on Finite Words	2020	Liu, Wanwei