Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-ar]computer science [cs]/hardware architecture [cs.ar] 6 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 6 Treffer
- [info.info-es]computer science [cs]/embedded systems 6 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 6 Treffer
- [info.info-mo]computer science [cs]/modeling and simulation 6 Treffer
-
14 weitere Werte:
- validation 6 Treffer
- verification 6 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- artificial intelligence 4 Treffer
- cyber-physical systems 4 Treffer
- architectures materielles 1 Treffer
- cryptographie et securite 1 Treffer
- development operations 1 Treffer
- general earth and planetary sciences 1 Treffer
- general environmental science 1 Treffer
- genie logiciel 1 Treffer
- interface homme-machine 1 Treffer
- modelisation et simulation 1 Treffer
- systemes embarques 1 Treffer
Sprache
Geographischer Bezug
4 Treffer
-
In: ACM SIGAda Ada Letters ; https://hal.science/hal-03719971 ; ACM SIGAda Ada Letters, 2023, 2023Online academicJournalZugriff:
-
In: International Workshop on Model Driven Engineering, Verification and Validation - MoDeVVA 2013 ; https://hal.science/hal-01144308 ; International Workshop on Model Driven Engineering, 2013Online KonferenzZugriff: