Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
liu, shaoying
(12)
duan, zhenhua
(7)tian, cong
(4)nagoya, fumiko
(3)araki, keijiro
(1)lawford, mark
(1)maibaum, tom
(1)miao, huaikou
(1)ogata, kazuhiro
(1)Verlag / Hersteller
springer berlin heidelberg
(2)springer international publishing
(8)Schlagwort
informatik
(11)edv
(10)software engineering
(9)model checking
(8)formal methods
(7)theorie
(6)modelchecking
(5)verification
(5)formal specification
(4)software-entw.
(4)allgemeines
(3)betriebssystem (edv)
(3)formal logic
(3)formalmethods
(3)operating system
(3)programmieren
(3)programming languages, compilers, interpreters
(3)semantics
(3)softwareengineering
(3)theorem proving
(3)algorithmus
(2)analysis
(2)artificial intelligence
(2)computer
(2)computer communication networks
(2)embedded systems
(2)formal engineering methods
(2)formal semantics
(2)formal verification
(2)formalengineeringmethods
(2)formallogic
(2)formalsemantics
(2)formalverification
(2)informatik, computer
(2)inspection
(2)intelligenz
(2)ki
(2)künstliche intelligenz
(2)künstliche intelligenz - ai
(2)logics and meanings of programs
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)mathematik
(2)problem solving
(2)programmiersprachen
(2)programming techniques
(2)software specification
(2)specification
(2)specifications
(2)testing
(2)theory of computation
(2)agile
(1)architecting
(1)architecture verification and validation
(1)architectureverificationandvalidation
(1)artificialintel
(1)artificialintelligence
(1)automated debugging
(1)automateddebugging
(1)certification
(1)cloud computing
(1)cloudcomputing
(1)compiler
(1)computer hardware
(1)computer networks
(1)computer programming
(1)computer programming languages
(1)computer science
(1)computer software selection and evaluation
(1)computer systems
(1)computerhardware
(1)computernetworks
(1)computerprogrammierung und softwareentwicklung
(1)computerprogramming
(1)computersystems
(1)constraint solving
(1)constraintsolving
(1)csp
(1)data security
(1)datasecurity
(1)distributed computer systems
(1)distributed systems
(1)distributedcomputersystems
(1)distributedsystems
(1)embeddedsystems
(1)engineering
(1)formal development
(1)formal software development
(1)formaldevelopment
(1)formalspecification
(1)functional scenario
(1)functionalscenario
(1)generic programming
(1)genericprogramming
(1)genetic algorithm
(1)geneticalgorithm
(1)internet
(1)language
(1)linear temporal logic
(1)lineartemporallogic
(1)Erscheinungsjahr
2008
(1)2013
(1)2014
(1)2015
(1)2016
(2)2017
(1)2018
(1)2019
(1)2020
(1)2024
(1)2025
(1)Ergebnis: 12 Artikel
Autor: liu, shaoying
