mtmt
Magyar Tudományos Művek Tára
XML
JSON
Átlépés a keresőbe
In English
2021 10th Latin-American Symposium on Dependable Computing (LADC)
Andrey, Brito [szerk.]
;
Fernando, Pedone [szerk.]
Angol nyelvű Konferenciakötet (Könyv) Tudományos
Megjelent: Institute of Electrical and Electronics Engineers (IEEE), Piscataway (NJ), Amerikai Egyesült Államok
2021
Konferencia:
10th Latin-American Symposium on Dependable Computing, LADC 2021 2021-11-22 [Florianopolis, Brazília]
Azonosítók
MTMT: 32605463
ISBN:
9781665478311
Fejezetek
de Almeida Danilo Pallamin et al. Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View. (2021) Megjelent: 2021 10th Latin-American Symposium on Dependable Computing (LADC) pp. 1-4
Dobos-Kovacs Mihaly et al. Bitvector Support in the Theta Formal Verification Framework. (2021) Megjelent: 2021 10th Latin-American Symposium on Dependable Computing (LADC) pp. 01-08
Elekes Márton et al. Towards Testing the UML PSSM Test Suite. (2021) Megjelent: 2021 10th Latin-American Symposium on Dependable Computing (LADC) pp. 1-4
Foldvari Andras et al. Impact Assessment of IT Security Breaches in Cyber-Physical Systems: Short paper. (2021) Megjelent: 2021 10th Latin-American Symposium on Dependable Computing (LADC) pp. 1-4
Kovacs Laszlo et al. Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles. (2021) Megjelent: 2021 10th Latin-American Symposium on Dependable Computing (LADC) pp. 01-04
Lopes Guilherme W. et al. Characterizing and Injecting Faults in Executable Models Specified with fUML. (2021) Megjelent: 2021 10th Latin-American Symposium on Dependable Computing (LADC) pp. 01-10
Nagy Simon Jozsef et al. Demonstrator for dependable edge-based cyber-physical systems. (2021) Megjelent: 2021 10th Latin-American Symposium on Dependable Computing (LADC) pp. 1-8
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
CSL
Másolás
Nyomtatás
2025-01-25 14:43
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás
