Serie
lecture notes in computer science
(10)programming and software engineering
(5)theoretical computer science and general issues
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
andrei soeanu
(2)bruno berstel-da silva
(2)fawzi hassaïne
(2)ilkka juuso
(2)liu, zhiming
(2)luay alawneh
(2)miroslaw staron
(2)mourad debbabi
(2)orlando lopez
(2)yosr jarraya
(2)abran, alain
(1)barlas, gerassimos
(1)bauer, thomas
(1)de nicola, rocco
(1)dumke, reiner
(1)el-fakih, khaled
(1)großmann, jürgen
(1)howard t. garst smith
(1)iida, shusaku
(1)johnson, michael
(1)kabra, ashutosh
(1)karmakar, gopinath
(1)koornneef, floor
(1)kühn, eva
(1)li, xuandong
(1)meseguer, josé
(1)meulen, meine van der
(1)müller-olm, markus
(1)ogata, kazuhiro
(1)pandya, paritosh
(1)pavlovic, dusko
(1)seehusen, fredrik
(1)seidl, helmut
(1)stølen, ketil
(1)wakankar, amol
(1)wendland, marc-florian
(1)yevtushenko, nina
(1)yi, wang
(1)zhang, zili
(1)Verlag / Hersteller
springer berlin heidelberg
(8)springer international publishing
(8)taylor & francis
(4)Schlagwort
software validation
(22)informatik
(17)edv
(16)software engineering
(13)softwarevalidation
(13)softwareengineering
(10)formal methods
(9)software-entw.
(8)theorie
(8)software verification
(7)formalmethods
(6)model checking
(6)modelchecking
(6)management of computing and information systems
(5)program analysis
(4)software development
(4)softwaredevelopment
(4)correctness
(3)it operations
(3)programanalysis
(3)semantics
(3)software management
(3)software metrics
(3)softwaremetrics
(3)softwareverification
(3)verification
(3)advanced computer system validation techniques
(2)ai
(2)algorithms
(2)applicable
(2)artificial intelligence
(2)artificialintelligence
(2)audit preparation techniques
(2)business process
(2)business rules
(2)business rules management systems
(2)businessrules
(2)businessrulesmanagementsystems
(2)capa
(2)capa processes
(2)ceo
(2)cgmp compliance
(2)clinical evaluation documentation
(2)cloud se
(2)computer infrastructure
(2)computer systems validation
(2)computerprogrammierung und softwareentwicklung
(2)csv
(2)cyber-physical systems
(2)cyber-physicalsystems
(2)database management
(2)database management systems
(2)databasemanagementsystems
(2)datensicherheit
(2)datensicherung
(2)dependable systems
(2)document management systems
(2)e-records integrity
(2)electronic recordkeeping
(2)empirical studies
(2)empiricalstudies
(2)follow
(2)formal verification
(2)formalverification
(2)hold
(2)ich
(2)ich q7
(2)iso 13485
(2)it in business
(2)itil framework application
(2)logics and meanings of programs
(2)manufactruring
(2)medical device
(2)medical device qms certification guide
(2)medical device regulation
(2)modeling
(2)operational semantics
(2)operationalsemantics
(2)performance
(2)performance analysis
(2)performanceanalysis
(2)pharmazeutische chemie und technologie
(2)product design
(2)product realization process
(2)program verification
(2)programmiersprachen
(2)programming techni
(2)programsemantics
(2)psur
(2)qms
(2)qms software validation
(2)quality management
(2)quality management team
(2)quality system implementation
(2)qualitätssicherung (qs) und total quality management (tq
(2)regulation
(2)requirements engineering
(2)research methodologies
(2)researchmethodologies
(2)risk management strategies
(2)Erscheinungsjahr
1997
(1)2000
(1)2001
(1)2010
(1)2011
(1)2014
(5)2015
(2)2016
(3)2018
(1)2019
(1)2020
(1)2021
(1)2022
(2)2023
(1)Ergebnis: 22 Artikel
Schlagwort: software validation
