Inproceedings,
Formal specification to support advanced model based testing.
K. Frajták, M. Bures, and I. Jelínek.FedCSIS, page 1311-1314. (2012)
Meta data
- BibTeX key
- conf/fedcsis/FrajtakBJ12
- entry type
- inproceedings
- booktitle
- FedCSIS
- year
- 2012
- pages
- 1311-1314
- crossref
- conf/fedcsis/2012
- ee
- https://fedcsis.org/proceedings/2012/pliks/90.pdf
- isbn
- 978-83-60810-51-4
- url
- http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2012.html#FrajtakBJ12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/fedcsis/FrajtakBJ12
%A Frajták, Karel
%A Bures, Miroslav
%A Jelínek, Ivan
%B FedCSIS
%D 2012
%E Ganzha, Maria
%E Maciaszek, Leszek A.
%E Paprzycki, Marcin
%K dblp
%P 1311-1314
%T Formal specification to support advanced model based testing.
%U http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2012.html#FrajtakBJ12
%@ 978-83-60810-51-4
@inproceedings{conf/fedcsis/FrajtakBJ12,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Frajták, Karel and Bures, Miroslav and Jelínek, Ivan},
biburl = {https://www.bibsonomy.org/bibtex/21a6abd829d0944dbbd4524699f8ed80a/dblp},
booktitle = {FedCSIS},
crossref = {conf/fedcsis/2012},
editor = {Ganzha, Maria and Maciaszek, Leszek A. and Paprzycki, Marcin},
ee = {https://fedcsis.org/proceedings/2012/pliks/90.pdf},
interhash = {9d4a643260f14a1199b7130f63c73b76},
intrahash = {1a6abd829d0944dbbd4524699f8ed80a},
isbn = {978-83-60810-51-4},
keywords = {dblp},
pages = {1311-1314},
timestamp = {2024-04-10T06:15:59.000+0200},
title = {Formal specification to support advanced model based testing.},
url = {http://dblp.uni-trier.de/db/conf/fedcsis/fedcsis2012.html#FrajtakBJ12},
year = 2012
}