Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Soubiran, E."'
Publikováno v:
In Cyber-Physical Systems 2017:363-375
Publikováno v:
Cyber-Physical Systems: Foundations, Principles and Applications
Cyber-Physical Systems: Foundations, Principles and Applications, Elsevier Inc., pp.363-375, 2016, 9780128038741; 9780128038017. ⟨10.1016/B978-0-12-803801-7.00023-7⟩
Cyber-Physical Systems: Foundations, Principles and Applications, Elsevier Inc., pp.363-375, 2016, 9780128038741; 9780128038017. ⟨10.1016/B978-0-12-803801-7.00023-7⟩
International audience; This chapter follows the development process of a cyber-physical system in the railway industry. It starts from the scenario of passengers getting on and off an autonomous train and explores the engineering steps from the iden
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::06e72789c16c1ef6645aa9c32787ff1b
https://cea.hal.science/cea-01818394
https://cea.hal.science/cea-01818394
Publikováno v:
Ada User Journal
Ada User Journal, 2014, 35 (4), pp.272-277
Scopus-Elsevier
Ada User Journal, 2014, 35 (4), pp.272-277
Scopus-Elsevier
International audience; This work concerns a feasibility study on the use of contract-based approaches as a means of reasoning and understanding a cyber-physical system (CPS) which should meet safety properties. We show the problems, the analysis met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e4577bc45bc4f06956c619e3ec040b4d
https://hal-cea.archives-ouvertes.fr/cea-01847297
https://hal-cea.archives-ouvertes.fr/cea-01847297
Autor:
Abdelzaher, T., Adamchuk, V., Aerts, A., Akintayo, A., Alcaraz, C., Almodaresi, E., Amin, T.A., An, W., Araniti, G., Ascheid, G., Asplund, F., Bagade, P., Bajcinca, N., Banerjee, A., Barhoush, M., Beckmann, B., Bensalem, S., Böhle, F., Bowman, E., Brecher, C., Cancila, D., Cassandras, C.G., Castillo-Effen, M., Cazorla, L., Chen, Q., Ci, S., Citriniti, T., Condoluci, M., Crawford, C.E., Dartmann, G., Deng, J., Dohler, M., Ecker, C., Edgar, T.W., Erol-Kantarci, M., Estevez, C., Ferrein, A., Fink, G.A., George, J., Giridhar, P., Golmie, N., Griffith, D., Guenab, F., Gupta, S.K.S., Hamman, S.T., Herfs, W., Hoffmann, M., Hopkinson, K.M., Huchler, N., Illig, D.W., Jemison, W.D., Jeschke, S., Jiang, Z., Kaplan, L., Koudri, A., Krishnamurthy, S., Kurt, G.K., Lakemeyer, G., Liao, H., Lin, C., Liu, G., Liu, Y., Lopez, J., Lücken, V., Luo, H., MacDonald, D.G., Maier, G.W., Mallapuram, S., Martins, P.M.N., McCann, J.A., McCarty, L.A., McDermid, J., Meisen, T., Moulema, P., Mousavi, M.R., Müller, R., Narciss, S., Niemueller, T., Obdenbusch, M., Ötting, S.K., Passerone, R., Pfeifer, H., Ren, L., Reniers, M., Reuter, S., Rice, T.R., Roy, H., Rumbaugh, L.K., Sagerer, G., Sangiovanni-Vincentelli, A., Sarkar, S., Schätz, B., Seetharamu, P., Shi, Z., Soubiran, E., Tewari, A., Töniges, T., Törngren, M., Urbas, L., Wang, D., Wang, S., Wang, H., Wouters, L., Wrede, B., Wu, J., Wu, G., Wu, D., Xia, F., Xu, Z., Xue, B., Yang, Q., Yao, N., Yu, W., Zandi, E., Zhang, F.
Publikováno v:
In Cyber-Physical Systems 2017:xvii-xxiii
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.
Publikováno v:
American Journal of Obstetrics and Gynecology; June 1980, Vol. 137 Issue: 3 p351-357, 7p
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.
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.
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.