Zobrazeno 1 - 10
of 124
pro vyhledávání: '"Majzik, I."'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bondavalli, A., Andrea Ceccarelli, Grønbæk, J., Iovino, D., Kárná, L., Klapka, Š, Madsen, T. K., Magyar, M., Majzik, I., Salzo, A.
Publikováno v:
Bondavalli, A, Ceccarelli, A, Grønbæk, L J, Iovino, D, Kárná, L, Klapka, Š, Madsen, T K, Magyar, M, Majzik, I & Salzo, A 2009, ' Design and Evaluation of a Safe Driver Machine Interface ', International Journal of Performability Engineering, vol. 5, no. 2, pp. 153-166 .
Scopus-Elsevier
Scopus-Elsevier
Udgivelsesdato: 01/01/09
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::61fc18e79fe34a503cbe9dd014126645
https://vbn.aau.dk/da/publications/b090b930-6d41-11de-b57b-000ea68e967b
https://vbn.aau.dk/da/publications/b090b930-6d41-11de-b57b-000ea68e967b
Publikováno v:
Majzik, I, Bondavalli, A, Klapka, S, Madsen, T K & Iovino, D 2008, Formal Methods in the Evaluation of a Safe Driver-Machine Interface . in Formal Methods for Automation and Safety in Railway and Automotive Systems . L'Harmattan, pp. 313-320, Formal Methods for Automation and Safety in Railway and Automotive Systems. Proc. of Symposium FORMS/FORMAT 2008, Budapest, Hungary, 09/10/2008 .
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6ee8c18a6881deecd37275b828412227
https://vbn.aau.dk/da/publications/0696c6e0-e6fa-11dd-b0a4-000ea68e967b
https://vbn.aau.dk/da/publications/0696c6e0-e6fa-11dd-b0a4-000ea68e967b
Autor:
Simoncini, L., Laprie, J.-C., Kanoun, K., Fabre, J. C., Waeselynck, H., Majzik, I., Pataricza, A., Bloomfield, R., Strigini, L., Suri, N., Urvoy-Keller, G., Cachin, C., Raynal, Michel, Palanque, P., Correia, Miguel, Veríssimo, Paulo, Bondavalli, Andrea, Giandomenico, F., Lami, G., Pfeifer, H., Voges, U., Jimenez-Peris, R., Karlsson, J., Ahrendt, W.
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Made available in DSpace on 2009-02-10T13:11:55Z (GMT). No. of bitstreams: 1 07-27.pdf: 840521 bytes, checksum: 937b9960b89890b0d9ecf4dd28785b3d (MD5) Previous issue date: 2007-11 Made available in DSpace on 2014-11-14T16:23:47Z (GMT). No. of bitstre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::359ee15b711093b7d9c931bcc8431be4
http://repositorio.ul.pt/handle/10455/2993
http://repositorio.ul.pt/handle/10455/2993
Publikováno v:
Project report, SAFEDMI, Deliverable D2.1, 2007
Aim of this document is to provide a general architectural overview of the SAFEDMI system, together with an indication of its internal states, components and information exchanges. This document is to be considered as the foundations for the detailed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::60c07cba502243d1f6b19cc634a95708
https://openportal.isti.cnr.it/doc?id=people______::60c07cba502243d1f6b19cc634a95708
https://openportal.isti.cnr.it/doc?id=people______::60c07cba502243d1f6b19cc634a95708
Publikováno v:
Project report, SAFEDMI, Deliverable D2.2, 2007
Project report, SAFEDMI, Deliverable D2.2, 2008
Project report, SAFEDMI, Deliverable D2.2, 2008
Aim of this document is to provide the detailed architectural description of the SAFEDMI system. This document is to be considered as the foundations for the implementation of the SAFEDMI system, and should be read by the implementers, after having u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::335f96fdac393481175e84d80eb132ef
https://openportal.isti.cnr.it/doc?id=people______::a5960c7d5bbd67643aa26475f12da750
https://openportal.isti.cnr.it/doc?id=people______::a5960c7d5bbd67643aa26475f12da750
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.