Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Newell, Josh"'
Autor:
Pang, Linna, Wang, Chen-Wei, Lawford, Mark, Wassyng, Alan, Newell, Josh, Chow, Vera, Tremaine, David
Publikováno v:
EPTCS 184, 2015, pp. 65-79
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a comp
Externí odkaz:
http://arxiv.org/abs/1506.03557
Autor:
Caputo Silvio, Dorr Erica, Fox-Kämper Runrid, Hawes Jason K., Lelièvre Agnes, Newell Josh, Poniży Lidia, Schoen Victoria, Jean-Soro Liliane, Specht Kathrin, Yaman Rokiah
The FEW-meter project was developed by an international consortium comprising researchers, practitioners, and associations in the urban agriculture sector from five countries: France, Germany, Poland, the UK, and the US. The project was funded under
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c7a772c77c548e7f8501f06a010d1b9
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:
Newell, Josh, Wilson, Emma
Publikováno v:
Ecologist. Mar/Apr96, Vol. 26 Issue 2, p68. 5p. 1 Black and White Photograph.
Publikováno v:
NASA Formal Methods (9783319406473); 2016, p206-220, 15p
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.