Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 7 Treffer
- [info.info-es]computer science [cs]/embedded systems 3 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 3 Treffer
- deductive verification 3 Treffer
- formal methods 3 Treffer
- 8 weitere Werte:
Verlag
Sprache
Geographischer Bezug
10 Treffer
-
In: RTCSA 2021 - 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ; https://hal.science/hal-03540548 ; RTCSA 2021 - 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2021, Houston (online), United States. pp.1-10, 2021Online KonferenzZugriff:
-
In: RTCSA 2021 - 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ; https://hal.science/hal-03540548 ; RTCSA 2021 - 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2021, Houston (online), United States. pp.1-10, 2021Online KonferenzZugriff:
-
In: RTCSA 2021 - 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ; https://hal.science/hal-03540548 ; RTCSA 2021 - 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2021, Houston (online), United States. pp.1-10, 2021Online KonferenzZugriff:
-
In: Tenth NASA Formal Methods Symposium - NFM 2018 ; https://inria.hal.science/hal-01720401 ; Tenth NASA Formal Methods Symposium - NFM 2018, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_3⟩, 2018Online KonferenzZugriff:
-
In: Tenth NASA Formal Methods Symposium - NFM 2018 ; https://inria.hal.science/hal-01720401 ; Tenth NASA Formal Methods Symposium - NFM 2018, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_3⟩, 2018Online KonferenzZugriff:
-
In: Tenth NASA Formal Methods Symposium - NFM 2018 ; https://hal.inria.fr/hal-01720401 ; Tenth NASA Formal Methods Symposium - NFM 2018, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_3⟩, 2018Online KonferenzZugriff:
-
In: ICSE '13 - International Conference on Software Engineering ; https://hal.science/hal-00966078 ; ICSE '13 - International Conference on Software Engineering, May 2013, San Francisco, United States. pp.13-22 ; http://dl.acm.org/citation.cfm?id=2486791, 2013KonferenzZugriff:
-
In: ICSE '13 - International Conference on Software Engineering ; https://hal.science/hal-00966078 ; ICSE '13 - International Conference on Software Engineering, May 2013, San Francisco, United States. pp.13-22 ; http://dl.acm.org/citation.cfm?id=2486791, 2013KonferenzZugriff:
-
In: ICSE '13 - International Conference on Software Engineering ; https://hal.science/hal-00966078 ; ICSE '13 - International Conference on Software Engineering, May 2013, San Francisco, United States. pp.13-22 ; http://dl.acm.org/citation.cfm?id=2486791, 2013KonferenzZugriff:
-
In: ICSE '13 - International Conference on Software Engineering ; https://hal.archives-ouvertes.fr/hal-00966078 ; ICSE '13 - International Conference on Software Engineering, May 2013, San Francisco, United States. pp.13-22 ; http://dl.acm.org/citation.cfm?id=2486791, 2013KonferenzZugriff: