Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/corr/SunBKHWSJDBB17
%A Sun, Youcheng
%A Brain, Martin
%A Kroening, Daniel
%A Hawthorn, Andrew
%A Wilson, Thomas
%A Schanda, Florian
%A Jimenez, Francisco Javier Guzman
%A Daniel, Simon
%A Bryan, Chris
%A Broster, Ian
%D 2017
%J CoRR
%K
%T Functional Requirements-Based Automated Testing for Avionics.
%U http://dblp.uni-trier.de/db/journals/corr/corr1707.html#SunBKHWSJDBB17
%V abs/1707.01466
@article{journals/corr/SunBKHWSJDBB17,
added-at = {2023-12-14T15:59:24.000+0100},
author = {Sun, Youcheng and Brain, Martin and Kroening, Daniel and Hawthorn, Andrew and Wilson, Thomas and Schanda, Florian and Jimenez, Francisco Javier Guzman and Daniel, Simon and Bryan, Chris and Broster, Ian},
biburl = {https://www.bibsonomy.org/bibtex/29c394f26bdc6a947bae82d4062b069f6/admin},
ee = {http://arxiv.org/abs/1707.01466},
interhash = {f20ad53c2bf09f5dd289641856907eaf},
intrahash = {9c394f26bdc6a947bae82d4062b069f6},
journal = {CoRR},
keywords = {},
timestamp = {2023-12-14T15:59:24.000+0100},
title = {Functional Requirements-Based Automated Testing for Avionics.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1707.html#SunBKHWSJDBB17},
volume = {abs/1707.01466},
year = 2017
}