Zobrazeno 1 - 10
of 127
pro vyhledávání: '"Bastos, J.P."'
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.
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.
Autor:
van der Sanden, L.J., Nogueira Bastos, J.P., Voeten, J.P.M., Geilen, M.C.W., Reniers, M.A., Basten, T., Jacobs, J., Schiffelers, R.R.H.
Publikováno v:
Proceedings of the 2016 Forum on specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016
In this paper, a formal modeling approach is introduced for compositional specification of both functionality and timing of manufacturing systems. Functionality aspects can be considered orthogonally to the timing. The functional aspects are specifie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::03a7360a1c3f9acdf9c4cabe9a166e74
https://research.tue.nl/nl/publications/c92cf391-ccde-4790-8e11-7d0774b392f0
https://research.tue.nl/nl/publications/c92cf391-ccde-4790-8e11-7d0774b392f0
Autor:
Adyanthaya, S., Alizadeh Ara, H., Bastos, J.P., Baghbanbehrouzian, A., Medina Sanchez, R.A., Pinxten, van, J.H.H., Sanden, van der, L.J., Waqas, U., Basten, A.A., Corporaal, H., Frijns, R.M.W., Geilen, M.C.W., Goswami, D., Stuijk, S., Reniers, M.A., Voeten, J.P.M., Grimheden, M.E.
Publikováno v:
Proceedings of WESE'15 : Workshop on Embedded and Cyber-Physical Systems Education, 8 October 2015, Amsterdam, The Netherlands, 1-8
STARTPAGE=1;ENDPAGE=8;TITLE=Proceedings of WESE'15 : Workshop on Embedded and Cyber-Physical Systems Education, 8 October 2015, Amsterdam, The Netherlands
WESE
Grimheden M.E, 2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015-Proceedings
STARTPAGE=1;ENDPAGE=8;TITLE=Proceedings of WESE'15 : Workshop on Embedded and Cyber-Physical Systems Education, 8 October 2015, Amsterdam, The Netherlands
WESE
Grimheden M.E, 2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015-Proceedings
Cyber-Physical Systems (CPS) play an important role in the modern high-tech industry. Designing such systems is a challenging task due to the multi-disciplinary nature of these systems, and the range of abstraction levels involved. To facilitate hand
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2102a08069d41d5eca44cdf434ae6c6e
https://research.tue.nl/nl/publications/2f2a611c-8bdc-42c5-acb0-2f86d8a4be97
https://research.tue.nl/nl/publications/2f2a611c-8bdc-42c5-acb0-2f86d8a4be97
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.
Conference
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.