Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Raco, Deni
5  Ergebnisse:
Personensuche X
?
1

Correct and Sustainable Development Using Model-based Engin..:

, In: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC),
Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni.. - p. 1-8 , 2022
Link: https://doi.org/10.1109/..
 
?
2

Towards an Isabelle Theory for distributed, interactive sys.. 

technical report  Aachener Informatik-Berichte ; 2020, 02;Technical report / Department of Computer Science, RWTH Aachen
Bürger, Jens Christoph ; Kausch, Hendrik ; Raco, Deni ; Wiartalla, Marc.. , January 2020
Link: https://edocs.tib.eu/fil..
 
?
3

Model-Based Design of Correct Safety-Critical Systems using..:

Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni.
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2021-05459.  , 2021
Link: https://publications.rwt..
 
?
4

Towards an Isabelle Theory for distributed, interactive sys..:

Bürger, Jens Christoph ; Kausch, Hendrik ; Raco, Deni...
info:eu-repo/semantics/altIdentifier/issn/1869-9170.  , 2020
Link: https://publications.rwt..
 
?
5

An Approach for Logic-based Knowledge Representation and Au..:

Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni.
info:eu-repo/semantics/altIdentifier/issn/1613-0073.  , 2020
Link: https://publications.rwt..
 
1-5