Serie
lecture notes in computer science
(30)programming and software engineering
(24)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
bin, eyal
(2)gabriele taentzer
(2)hans-gerhard gross
(2)jean-jacques pierre henry
(2)reiko heckel
(2)ur, shmuel
(2)?????? ???????
(1)baker, paul
(1)beckert, bernhard
(1)bianculli, domenico
(1)bowen, jonathan p.
(1)broy, manfred
(1)brucker, achim
(1)bruni, roberto
(1)calinescu, radu
(1)cavalcanti, ana
(1)christopher schaefer
(1)dams, dennis
(1)de nicola, rocco
(1)dubois, catherine
(1)eleftherakis, george
(1)felderer, michael
(1)fischer, joachim
(1)gaston, christophe
(1)gay, gregory
(1)großmann, jürgen
(1)hammoudi, slimane
(1)harman, mark
(1)hierons, robert m.
(1)hinchey, mike
(1)holcombe, mike
(1)hähnle, reiner
(1)johnsen, einar broch
(1)jonsson, bengt
(1)julliand, jacques
(1)kapitsaki, georgia
(1)katoen, joost-pieter
(1)khosravi, ramtin
(1)kosmatov, nikolai
(1)kouchnarenko, olga
(1)kushik, natalia
(1)külli sarna
(1)larsen, kim guldstrand
(1)laryssa muniz
(1)le gall, pascale
(1)lumpe, markus
(1)maldonado, josé carlos
(1)merayo, mercedes g.
(1)meyer, roland
(1)nejati, shiva
(1)nica, mihai
(1)nielsen, brian
(1)nunez, manuel
(1)ortmeier, frank
(1)petre, luigia
(1)petrenko, alexandre
(1)pires, luís ferreira
(1)platzer, andré
(1)proença, josé
(1)rauzy, antoine
(1)reed, rick
(1)ribeiro, pedro
(1)rumpe, bernhard
(1)sampaio, augusto
(1)sangiorgi, davide
(1)santana de almeida, eduardo
(1)scheidgen, markus
(1)schieferdecker, ina
(1)seehusen, fredrik
(1)selic, bran
(1)simao, adenilso
(1)veanes, margus
(1)vigano, luca
(1)wehrheim, heike
(1)weise, carsten
(1)willemse, tim
(1)wolf, karsten
(1)wolfsthal, yaron
(1)wotawa, franz
(1)ziv, avi
(1)Verlag / Hersteller
lap lambert academic publishing
(2)springer berlin heidelberg
(21)springer international publishing
(15)Verlag
lap lambert academic publishing
(2)springer berlin heidelberg
(21)springer international publishing
(15)Schlagwort
model-based testing
(42)edv
(38)informatik
(38)software engineering
(33)theorie
(22)model-basedtesting
(20)software-entw.
(19)model checking
(13)formal methods
(10)verification
(10)logics and meanings of programs
(9)modeling
(9)programmiersprachen
(9)formalmethods
(8)modelchecking
(8)programming languages, compilers, interpreters
(8)theory of computation
(8)software engineering/programming and operating systems
(7)software testing
(7)softwareengineering
(7)allgemeines
(6)compiler
(6)testing
(6)übersetzer (edv)
(6)artificial intelligence
(5)betriebssystem (edv)
(5)embedded systems
(5)operating system
(5)automatic testing
(4)computer communication networks
(4)computer systems organization and communication networks
(4)cyber-physical systems
(4)design
(4)distributed systems
(4)mathematical logic and formal languages
(4)programming
(4)programming languages
(4)software verification
(4)testmethoden
(4)uml
(4)unified modeling language (uml)
(4)algorithms
(3)artificialintelligence
(3)complexity
(3)computers
(3)concurrency
(3)cyber-physicalsystems
(3)debugging
(3)entwicklung
(3)formal modeling
(3)general
(3)machine learning
(3)machinelearning
(3)mathematical logic and foundations
(3)netzwerk (elektronisch)
(3)programmieren
(3)programmieren (edv)
(3)semantics
(3)software
(3)softwareevaluation
(3)softwaretesting
(3)softwareverification
(3)abstraction
(2)algorithmic debugging
(2)anwendungs-software
(2)automata
(2)automated testing
(2)automatedtesting
(2)automatictesting
(2)built-in testing
(2)co
(2)combinatorial testing
(2)component technologies
(2)component-based software
(2)computer architecture
(2)computer engineering and networks
(2)computer science
(2)computer science logic and foundations of programming
(2)computerarchitecture
(2)conformance testing
(2)constraint logic programming
(2)constraint solving
(2)constraintlogicprogramming
(2)contracts
(2)control structures
(2)controlstructures
(2)dynamic logic
(2)dynamiclogic
(2)embeddedsystems
(2)evolutionary algorithms
(2)formal models
(2)formal verification
(2)formalmodels
(2)framework
(2)functional testing
(2)genetic algorithms
(2)global testing
(2)globalmodel-basednetworkedtestprocess
(2)graph transformation
(2)graphtransformation
(2)Erscheinungsjahr
2004
(1)2005
(2)2006
(1)2007
(1)2008
(3)2009
(4)2010
(3)2012
(4)2013
(3)2014
(1)2015
(3)2016
(3)2017
(3)2018
(1)2019
(5)2020
(1)2021
(1)2023
(1)2025
(1)Ergebnis: 42 Artikel
Schlagwort: model-based testing
