Serie
lecture notes in computer science
(9)programming and software engineering
(6)communications in computer and information science
(4)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
gupta, p. k.
(3)singh, mayank
(3)tyagi, vipin
(3)ören, tuncer
(3)dorina corina petriu
(2)flusser, jan
(2)josé merseguer
(2)müller, peter
(2)schaefer, ina
(2)simona bernardi
(2)abawajy, jemal
(1)adam roman
(1)badger, julia m.
(1)bauersfeld, sebastian
(1)blazy, sandrine
(1)crnkovic, ivica
(1)duan, zhenhua
(1)flammini, francesco
(1)grosky, william
(1)jedlitschka, andreas
(1)jensen, thomas
(1)kim, tai-hoon
(1)ko, dae-sik
(1)lakhotia, kiran
(1)lang, frédéric
(1)liu, shaoying
(1)morisio, maurizio
(1)narayan kumar, k.
(1)neil walkinshaw
(1)petrucci, laure
(1)rozier, kristin yvonne
(1)seceleanu, cristina
(1)sharma, arun
(1)stoica, adrian
(1)thor myklebust
(1)tor stålhane
(1)torchiano, marco
(1)troubitsyna, elena
(1)vasilakos, thanos
(1)vos, tanja e. j.
(1)Verlag / Hersteller
springer berlin heidelberg
(4)springer international publishing
(13)springer singapore
(3)Schlagwort
edv
(20)informatik
(20)
softwareverificationandvalidation
(20)software verification and validation
(17)software engineering
(14)formal methods
(6)formalmethods
(5)model checking
(5)softwareengineering
(5)theorie
(5)modelchecking
(4)software development
(4)software-entw.
(4)database theory
(3)distributed systems
(3)distributedsystems
(3)formallanguagesandautomatatheory
(3)it in business
(3)it operations
(3)machine learning theory
(3)management of computing and information systems
(3)programming languages
(3)programminglanguages
(3)quality assurance
(3)qualityassurance
(3)software management
(3)softwaredevelopment
(3)agile software development
(2)agilesoftwaredevelopment
(2)algorithmus
(2)artificial intelligence
(2)client
(2)cloud computing
(2)cloudcomputing
(2)computation by abstract devices
(2)computational complexity
(2)computationalcomplexity
(2)concurrent programming
(2)concurrentprogramming
(2)cryptography
(2)data mining
(2)database and storage security
(2)datenverarbeitung
(2)datenverschlüsselung, kryptografie
(2)elektronik
(2)embedded systems
(2)formal languages
(2)formal languages and automata theory
(2)formallanguages
(2)information retrieval query processing
(2)informationstheorie
(2)internet
(2)kryptografie
(2)logic and verification
(2)marte
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)modal and temporal logics
(2)modalandtemporallogics
(2)model transformation
(2)modeltransformation
(2)program reasoning
(2)programmiersprachen
(2)programming languages, compilers, interpreters
(2)programreasoning
(2)real-time systems
(2)server
(2)software creation and management
(2)software dependability
(2)software extra-functional properties
(2)software product lines
(2)software testing and debugging
(2)softwarecreationandmanagement
(2)softwaredependability
(2)softwareextra-functionalproperties
(2)softwareproductlines
(2)softwaretestinganddebugging
(2)system description languages
(2)system performance and evaluation
(2)systemdescriptionlanguages
(2)theory
(2)uml
(2)verschlüsselung
(2)abstract interpretation
(1)abstractinterpretation
(1)advanced computing
(1)advancedcomputing
(1)agile methods
(1)agilemethods
(1)algorith
(1)algorithm analysis and problem complexity
(1)algorithmanalysisandproblemcomplexity
(1)algorithmen un
(1)algorithmen und
(1)allgemeines
(1)anwendungs-software
(1)architecting
(1)artificialintelligence
(1)automated reasoning
(1)automated static analysis
(1)Ergebnis: 20 Artikel
Schlagwort: softwareverificationandvalidation
