E-LIB Suche - Ergebnisse für: Peled, A

1

The Effect of Compatibility and Dimensionality of Carbon Na..:

, In: Concrete Durability and Service Life Planning; RILEM Bookseries,

Alatawna, A. ; Birenboim, M. ; Nadiv, R.... - p. 59-62 , 2020

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

2

The Chemical Durability of Cement Pastes and Geopolymers Su..:

, In: Concrete Durability and Service Life Planning; RILEM Bookseries,

Cohen, E. ; Peled, A. ; Bar-Nes, G. - p. 63-66 , 2020

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

3

List of contributors:

, In: Textile Fibre Composites in Civil Engineering,

Bisby, L. ; Bournas, D. ; Brameshuber, W.... - p. xi-xii , 2016

Link: https://doi.org/10.1016/..

4

Bonds in textile-reinforced concrete composites:

, In: Textile Fibre Composites in Civil Engineering,

Peled, A. - p. 63-99 , 2016

Link: https://doi.org/10.1016/..

5

Verifying hardware in its software context:

, In: Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design,

Kurshan, R. ; Levin, V. ; Minea, M... - p. 742-749 , 1997

Link: https://dl.acm.org/doi/1..

6

Mechanisms and Tools:

, In: Cultural Landscapes of Israel,

Sar Shalom, Aviad ; Peled, Yuval ; Singer, Rachel... - p. 7-11 , 2023

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

7

Cultural Landscapes in Israel:

, In: Cultural Landscapes of Israel,

Sar Shalom, Aviad ; Peled, Yuval ; Singer, Rachel... - p. 13-16 , 2023

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

8

Accelerating Black Box Testing with Light-Weight Learning:

, In: Model Checking Software; Lecture Notes in Computer Science,

Fogler, Roi ; Cohen, Itay ; Peled, Doron - p. 103-120 , 2023

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

9

TP-DejaVu: Combining Operational and Declarative Runtime Ve..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Havelund, Klaus ; Katsaros, Panagiotis ; Omer, Moran.. - p. 249-263 , 2023

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

10

Continuous Engineering for Trustworthy Learning-Enabled Aut..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Bensalem, Saddek ; Katsaros, Panagiotis ; Ničković, Dejan... - p. 256-278 , 2023

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

11

Monitorability for Runtime Verification:

, In: Runtime Verification; Lecture Notes in Computer Science,

Havelund, Klaud ; Peled, Doron - p. 447-460 , 2023

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

12

ECC-Map: A Resilient Wear-Leveled Memory-Device Architectur..:

, In: Proceedings of the International Symposium on Memory Systems,

Peled, Natan ; Cassuto, Yuval - p. 1-12 , 2023

Link: https://dl.acm.org/doi/1..

13

Automative Video Compression for Remote Driving via Safety ..:

, In: 2023 IEEE Conference on Standards for Communications and Networking (CSCN),

Peled, Dan ; Shmilovici, Armin ; Hadar, Ofer - p. 54-58 , 2023

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

14

Case Studies:

, In: Cultural Landscapes of Israel,

Sar Shalom, Aviad ; Peled, Yuval ; Singer, Rachel... - p. 23-165 , 2023

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

15

Planning and Management:

, In: Cultural Landscapes of Israel,

Sar Shalom, Aviad ; Peled, Yuval ; Singer, Rachel... - p. 167-171 , 2023

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