E-LIB Suche - Ergebnisse für: Costea, Florin - Sprache EN

Bookchapter (Online) X

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Automatic Aircraft Collisions Algorithm Development for Civ..:

, In: 2020 10th International Conference on Advanced Computer Information Technologies (ACIT),

Costea, Mihaela-Luminita ; Nae, Catalin ; Apostolescu, Nicolae... - p. 98-103 , 2020

Link: https://doi.org/10.1109/..

2

Automated Modular Verification for Relaxed Communication Pr..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Costea, Andreea ; Chin, Wei-Ngan ; Qin, Shengchao. - p. 284-305 , 2018

Link: https://doi.org/10.1007/..

1-2