Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
nanz, sebastian
(2)arne soelvberg
(1)astesiano, egidio
(1)david c. kung
(1)grädel, erich
(1)halbwachs, nicolas
(1)kreowski, hans-jörg
(1)krieg-brückner, bernd
(1)maler, oded
(1)margaria, tiziana
(1)pnueli, amir
(1)richard sharp
(1)steffen, bernhard
(1)thomas, wolfgang
(1)wiedijk, freek
(1)wilke, thomas
(1)zuck, lenore
(1)Schlagwort
edv
(9)
systems specification
(9)informatik
(8)systemsspecification
(8)software engineering
(7)systems design
(4)theorie
(4)algorithms
(3)automata
(3)logic
(3)software-entw.
(3)softwareengineering
(3)systemsdesign
(3)systemspezifikation
(3)theory of computation
(3)allgemeines
(2)complexity
(2)computer
(2)design
(2)development
(2)hardware
(2)model checking
(2)modelchecking
(2)modeling
(2)programming
(2)simulation
(2)software architecture
(2)software verification
(2)softwarearchitecture
(2)softwareentwicklung
(2)softwareverification
(2)systems analysis
(2)systems verification
(2)systemsanalysis
(2)theoretische informatik
(2)algebraic specification
(1)algebraicspecification
(1)algebraische spezifikation
(1)algebraischespezifikation
(1)algorithm
(1)analysis
(1)automata theory
(1)automatatheory
(1)automatentheorie
(1)büchi-automat
(1)calculus
(1)com
(1)compiler
(1)computer communication networks
(1)computer science
(1)computer science logic
(1)computer science, general
(1)computerprogrammierung und softwareentwicklung
(1)computerscience
(1)computersciencelogic
(1)concurrency
(1)concurrent systems
(1)concurrentsystems
(1)control systems
(1)controlsystems
(1)database
(1)database design
(1)databasedesign
(1)debugging
(1)distributed systems
(1)distributedsystems
(1)dynamical systems
(1)dynamicalsystems
(1)elektronik
(1)elektrotechnik
(1)embedded systems
(1)embeddedsystems
(1)formal methods
(1)formal specification
(1)formale methoden
(1)formalemethoden
(1)formalmethods
(1)formalspecification
(1)functional languages
(1)functionallanguages
(1)hardware description languages
(1)hardware design
(1)hardware synthesis
(1)hardware/software codesign
(1)hardwaredescriptionlanguages
(1)hardwaredesign
(1)hardwaresy
(1)hybrid modeling
(1)hybrid systems
(1)hybridization
(1)hybridmodeling
(1)hybridsystems
(1)infinite games
(1)infinitegames
(1)information system
(1)informationsystem
(1)internet
(1)java
(1)language
(1)logical calculi
(1)Ergebnis: 9 Artikel
Schlagwort: systems specification
