//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~subject:"PROGRAM TESTING"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"Program Verification"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Subject
All
PROGRAM TESTING
Agent-Based Simulation
1
CONTROL SOFTWARE
1
Computer and Social Sciences
1
Intentional Computation
1
Intentional Verification
1
Open source software
1
Original Paper
1
PROGRAM VERIFICATION
1
Program Verification
1
SPACECRAFT
1
Scientific Knowledge
1
code inspections and walkthroughs
1
computational biology
1
information systems
1
medical informatics
1
software quality assurance
1
software reliability
1
software/program verification
1
ВЕРИФИКАЦИЯ
1
КОСМИЧЕСКИЙ АППАРАТ
1
ТЕСТИРОВАНИЕ ПРОГРАММ
1
УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ
1
more ...
less ...
Online availability
All
Free
1
Type of publication
All
Article
1
Language
All
Undetermined
1
Author
All
АЛЕКСАНДРОВИЧ, ИЛЬИН ИЛЬЯ
1
АЛЕКСАНДРОВИЧ, ТЮГАШЕВ АНДРЕЙ
1
ЕВГЕНЬЕВИЧ, ЕРМАКОВ ИЛЬЯ
1
Published in...
All
Управление большими системами: сборник трудов
1
Source
All
RePEc
1
Showing
1
-
1
of
1
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
ПУТИ ПОВЫШЕНИЯ НАДЕЖНОСТИ И КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В КОСМИЧЕСКОЙ ОТРАСЛИ
АЛЕКСАНДРОВИЧ, ТЮГАШЕВ АНДРЕЙ
; …
- In:
Управление большими …
(
2012
)
3
,
pp. 288-299
Описывается текущая ситуация с созданием бортового программного обеспечения в аэрокосмической отрасли, описываются проблемы и намечаются пути их решения.
Persistent link: https://www.econbiz.de/10011270567
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->