Zobrazeno 1 - 10
of 32
pro vyhledávání: '"Schoop, Dominik"'
Publikováno v:
EPTCS 271, 2018, pp. 95-104
Ensuring a car's internal systems are free from security vulnerabilities is of utmost importance, especially due to the relationship between security and other properties, such as safety and reliability. We provide the starting point for a model-base
Externí odkaz:
http://arxiv.org/abs/1805.05520
Autor:
Pratt, Ian, Schoop, Dominik
Publikováno v:
The Journal of Symbolic Logic, 2000 Jun 01. 65(2), 822-838.
Externí odkaz:
https://www.jstor.org/stable/2586573
Autor:
Pratt-Hartmann, Ian, Schoop, Dominik
Publikováno v:
Journal of Philosophical Logic, 2002 Oct 01. 31(5), 469-498.
Externí odkaz:
https://www.jstor.org/stable/30226766
Autor:
Pratt, Ian, Schoop, Dominik
Publikováno v:
Journal of Philosophical Logic, 1998 Dec 01. 27(6), 621-658.
Externí odkaz:
https://www.jstor.org/stable/30226662
Autor:
Schoop, Dominik J.
Publikováno v:
Fundamenta Informaticae. Apr2001, Vol. 46 Issue 1-2, p129. 15p. 6 Diagrams.
Publikováno v:
C als Erste Programmiersprache; 2011, p557-599, 43p
Publikováno v:
C als Erste Programmiersprache; 2011, p539-556, 18p
Publikováno v:
C als Erste Programmiersprache; 2011, p525-537, 13p
Publikováno v:
C als Erste Programmiersprache; 2011, p483-523, 41p
Publikováno v:
C als Erste Programmiersprache; 2011, p443-482, 40p