Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Turcanu, Adrian"'
Publikováno v:
Journal of Robotics and Automation. 4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f0541ec7d19fcdad6bb085c9ec910028
https://doi.org/10.36959/673/366
https://doi.org/10.36959/673/366
Autor:
Chawhan, Charles, Turcanu, Adrian, Alharbi, Feras, Guleryuz, Kerem, Leon, Grégoire, Fiant, Anne-Lise, Vaudreuil, Lionel, Tillou, Xavier, Doerfler, Arnaud
Publikováno v:
In The Journal of Urology April 2018 199(4) Supplement:e536-e536
Autor:
Ipate, Florentin, Turcanu, Adrian
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the Rodin platform. We present a general framework for modelling P systems using Event-B, which we then use to implement two P-sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b86a8eab602284b058351e910bcb467a
https://idus.us.es/handle/11441/39498
https://idus.us.es/handle/11441/39498
Autor:
Turcanu, Adrian, Nuca, Ilie
Publikováno v:
2016 International Conference on Applied & Theoretical Electricity (ICATE); 2016, p1-6, 6p
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:
Turcanu, Adrian, Ipate, Florentin
Publikováno v:
2012 14th International Symposium on Symbolic & Numeric Algorithms for Scientific Computing; 2012, p62-69, 8p
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.