Eintrag weiter verarbeiten
Model-Based Testing of Safety Critical Real-Time Control Logic Software
Gespeichert in:
Zeitschriftentitel: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Personen und Körperschaften: | , |
In: | Electronic Proceedings in Theoretical Computer Science, 80, 2012, S. 130-144 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Open Publishing Association
|
Schlagwörter: |
author_facet |
Gerlits, Yevgeny Khoroshilov, Alexey Gerlits, Yevgeny Khoroshilov, Alexey |
---|---|
author |
Gerlits, Yevgeny Khoroshilov, Alexey |
spellingShingle |
Gerlits, Yevgeny Khoroshilov, Alexey Electronic Proceedings in Theoretical Computer Science Model-Based Testing of Safety Critical Real-Time Control Logic Software General Earth and Planetary Sciences General Engineering General Environmental Science |
author_sort |
gerlits, yevgeny |
spelling |
Gerlits, Yevgeny Khoroshilov, Alexey 2075-2180 Open Publishing Association General Earth and Planetary Sciences General Engineering General Environmental Science http://dx.doi.org/10.4204/eptcs.80.10 Model-Based Testing of Safety Critical Real-Time Control Logic Software Electronic Proceedings in Theoretical Computer Science |
doi_str_mv |
10.4204/eptcs.80.10 |
facet_avail |
Online Free |
format |
ElectronicArticle |
fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuNDIwNC9lcHRjcy44MC4xMA |
id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuNDIwNC9lcHRjcy44MC4xMA |
institution |
DE-D275 DE-Bn3 DE-Brt1 DE-Zwi2 DE-D161 DE-Zi4 DE-Gla1 DE-15 DE-Pl11 DE-Rs1 DE-14 DE-105 DE-Ch1 DE-L229 |
imprint |
Open Publishing Association, 2012 |
imprint_str_mv |
Open Publishing Association, 2012 |
issn |
2075-2180 |
issn_str_mv |
2075-2180 |
language |
English |
mega_collection |
Open Publishing Association (CrossRef) |
match_str |
gerlits2012modelbasedtestingofsafetycriticalrealtimecontrollogicsoftware |
publishDateSort |
2012 |
publisher |
Open Publishing Association |
recordtype |
ai |
record_format |
ai |
series |
Electronic Proceedings in Theoretical Computer Science |
source_id |
49 |
title |
Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_unstemmed |
Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_full |
Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_fullStr |
Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_full_unstemmed |
Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_short |
Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_sort |
model-based testing of safety critical real-time control logic software |
topic |
General Earth and Planetary Sciences General Engineering General Environmental Science |
url |
http://dx.doi.org/10.4204/eptcs.80.10 |
publishDate |
2012 |
physical |
130-144 |
description |
|
container_start_page |
130 |
container_title |
Electronic Proceedings in Theoretical Computer Science |
container_volume |
80 |
format_de105 |
Article, E-Article |
format_de14 |
Article, E-Article |
format_de15 |
Article, E-Article |
format_de520 |
Article, E-Article |
format_de540 |
Article, E-Article |
format_dech1 |
Article, E-Article |
format_ded117 |
Article, E-Article |
format_degla1 |
E-Article |
format_del152 |
Buch |
format_del189 |
Article, E-Article |
format_dezi4 |
Article |
format_dezwi2 |
Article, E-Article |
format_finc |
Article, E-Article |
format_nrw |
Article, E-Article |
_version_ |
1792324177047322635 |
geogr_code |
not assigned |
last_indexed |
2024-03-01T11:45:34.085Z |
geogr_code_person |
not assigned |
openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Model-Based+Testing+of+Safety+Critical+Real-Time+Control+Logic+Software&rft.date=2012-02-27&genre=article&issn=2075-2180&volume=80&spage=130&epage=144&pages=130-144&jtitle=Electronic+Proceedings+in+Theoretical+Computer+Science&atitle=Model-Based+Testing+of+Safety+Critical+Real-Time+Control+Logic+Software&aulast=Khoroshilov&aufirst=Alexey&rft_id=info%3Adoi%2F10.4204%2Feptcs.80.10&rft.language%5B0%5D=eng |
SOLR | |
_version_ | 1792324177047322635 |
author | Gerlits, Yevgeny, Khoroshilov, Alexey |
author_facet | Gerlits, Yevgeny, Khoroshilov, Alexey, Gerlits, Yevgeny, Khoroshilov, Alexey |
author_sort | gerlits, yevgeny |
container_start_page | 130 |
container_title | Electronic Proceedings in Theoretical Computer Science |
container_volume | 80 |
description | |
doi_str_mv | 10.4204/eptcs.80.10 |
facet_avail | Online, Free |
format | ElectronicArticle |
format_de105 | Article, E-Article |
format_de14 | Article, E-Article |
format_de15 | Article, E-Article |
format_de520 | Article, E-Article |
format_de540 | Article, E-Article |
format_dech1 | Article, E-Article |
format_ded117 | Article, E-Article |
format_degla1 | E-Article |
format_del152 | Buch |
format_del189 | Article, E-Article |
format_dezi4 | Article |
format_dezwi2 | Article, E-Article |
format_finc | Article, E-Article |
format_nrw | Article, E-Article |
geogr_code | not assigned |
geogr_code_person | not assigned |
id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuNDIwNC9lcHRjcy44MC4xMA |
imprint | Open Publishing Association, 2012 |
imprint_str_mv | Open Publishing Association, 2012 |
institution | DE-D275, DE-Bn3, DE-Brt1, DE-Zwi2, DE-D161, DE-Zi4, DE-Gla1, DE-15, DE-Pl11, DE-Rs1, DE-14, DE-105, DE-Ch1, DE-L229 |
issn | 2075-2180 |
issn_str_mv | 2075-2180 |
language | English |
last_indexed | 2024-03-01T11:45:34.085Z |
match_str | gerlits2012modelbasedtestingofsafetycriticalrealtimecontrollogicsoftware |
mega_collection | Open Publishing Association (CrossRef) |
physical | 130-144 |
publishDate | 2012 |
publishDateSort | 2012 |
publisher | Open Publishing Association |
record_format | ai |
recordtype | ai |
series | Electronic Proceedings in Theoretical Computer Science |
source_id | 49 |
spelling | Gerlits, Yevgeny Khoroshilov, Alexey 2075-2180 Open Publishing Association General Earth and Planetary Sciences General Engineering General Environmental Science http://dx.doi.org/10.4204/eptcs.80.10 Model-Based Testing of Safety Critical Real-Time Control Logic Software Electronic Proceedings in Theoretical Computer Science |
spellingShingle | Gerlits, Yevgeny, Khoroshilov, Alexey, Electronic Proceedings in Theoretical Computer Science, Model-Based Testing of Safety Critical Real-Time Control Logic Software, General Earth and Planetary Sciences, General Engineering, General Environmental Science |
title | Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_full | Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_fullStr | Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_full_unstemmed | Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_short | Model-Based Testing of Safety Critical Real-Time Control Logic Software |
title_sort | model-based testing of safety critical real-time control logic software |
title_unstemmed | Model-Based Testing of Safety Critical Real-Time Control Logic Software |
topic | General Earth and Planetary Sciences, General Engineering, General Environmental Science |
url | http://dx.doi.org/10.4204/eptcs.80.10 |