Načítá se...

QR kód

Verification and validation of real time software

other_versions_link

Podrobná bibliografie
Hlavní autor:	Quirk,W.J
Médium:	Printed Book
Jazyk:	English
Vydáno:	New York Springer-Verlag

Podobné jednotky

Načítá se...

Verification and validation of real time software
Autor: Quirk,W.J

Načítá se...

System validation and verification
Autor: Jeffrey O Grady
Vydáno: (1998)

Načítá se...

Validation and verification techniques for
Autor: Pratiksha Saxena

Načítá se...

Validation and Verification techniques for
Autor: Saxena , P, Dr

Načítá se...

Verification and Validation in Scientific Computing
Autor: William L. Oberkampf
Vydáno: (2013)

Načítá se...

Real-time systems: specification, verification and analysis/
Autor: Joseph, Mathai, Ed
Vydáno: (1996)

Načítá se...

Verification and validation in systems engineering assessing UML/sysML designed models
Autor: Debbabi, Mourad...[et.al]
Vydáno: (2010)

Načítá se...

Verification and meaning /
Vydáno: (1976)

Načítá se...

Validity and validation: understanding statistics/
Autor: Taylor, Catherine S.
Vydáno: (2013)

Načítá se...

Real time programming languages, specifications and verification
Autor: Shyamasundar, R K
Vydáno: (2010)

Načítá se...

Introduction to real-time software design
Autor: Allworth, S.T
Vydáno: (1981)

Načítá se...

Program Construction and Verification
Autor: Backhouse, Roland C
Vydáno: (1986)

Načítá se...

Practical design verification
Autor: Pradhan, Dhiraj K.
Vydáno: (2009)

Načítá se...

Program construction and verification /
Autor: Backhouse, Roland C .
Vydáno: (1986)

Načítá se...

Program construction and verification
Autor: Backhouse, Roland C; Author
Vydáno: (1986)

Načítá se...

Foundation of program verification /
Autor: Loeckx, Jacques
Vydáno: (1983)

Načítá se...

Real-time software design for embedded systems /
Autor: Gomaa, Hassan
Vydáno: (2016)

Načítá se...

Stock verification in libraries: problems and solutions /
Autor: Gupta, S. R.
Vydáno: (1990)

Načítá se...

Stock verification in libraries : problems and solutions /
Autor: Gupta, S. R.
Vydáno: (1990)

Načítá se...

Biomarkers in risk assessment: validity and validation
Vydáno: (2001)

Načítá se...

Evaluating with validity
Autor: House, Ernest R

Načítá se...

Evaluating with validity
Autor: House, Ernest R

Načítá se...

Legal validity
Autor: Munzer, Stephen
Vydáno: (1972)

Načítá se...

Pharmaceutical validation/
Autor: Garg, G P
Vydáno: (2011)

Načítá se...

Lifelong validity/
Autor: Sujith,C.K
Vydáno: (2009)

Načítá se...

VALIDITY OF KNOWLEDGE
Autor: SUBBA,RAO.VELURI
Vydáno: (1998)

Načítá se...

Reconfigurable system design and verification
Autor: Hsiung, Pao-Ann
Vydáno: (2009)

Načítá se...

Logic Synthesis and Verification Algorithms/
Autor: Hachtel, G.D
Vydáno: (2006)

Načítá se...

Biometric technologies and verification systems
Autor: Vacca, John R.
Vydáno: (2007)

Načítá se...

Formal methods of program verification
Autor: Berg,H.K

Načítá se...

Formal methods of program verification
Autor: Berg,H.K

Načítá se...

Embedded systems design and verification
Vydáno: (2013)

Načítá se...

Verification of sequential and concurrent programs
Autor: Krzysztof r apt,Ernst -Rudiger olderog
Vydáno: (1997)

Načítá se...

Verification of sequential and concurrent programs /
Autor: Gries, David .
Vydáno: (1991)

Načítá se...

Protocol specification, testing and verification
Autor: Diaz, Michel
Vydáno: (1986)

Načítá se...

Embedded Systems Design and Verification
Autor: Zurawski Richard

Načítá se...

The verification of arms control agreements
Autor: Bellany, Ian, a další
Vydáno: (1983)

Načítá se...

Verification Of Sequential And Concurrent Programs
Autor: Apt, Krzysztof R
Vydáno: (1991)

Načítá se...

Program verification using Ada
Autor: McGettrick, Andrew D; Author
Vydáno: (1982)

Načítá se...

Logic synthesis and verification algorithms
Autor: Hachtel, Gary D
Vydáno: (1996)