Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bernardo, marco
(14)
aldini, alessandro
(2)cortellessa, vittorio
(2)di pierro, alessandra
(2)hillston, jane
(2)johnsen, einar broch
(2)wiklicky, herbert
(2)zavattaro, gianluigi
(2)bogliolo, alessandro
(1)bononi, luciano
(1)cimatti, alessandro
(1)damiani, ferruccio
(1)de nicola, rocco
(1)de vink, erik
(1)degano, pierpaolo
(1)haehnle, reiner
(1)inverardi, paola
(1)issarny, valerie
(1)padovani, luca
(1)pierantonio, alfonso
(1)schaefer, ina
(1)Verlag / Hersteller
springer berlin heidelberg
(11)springer international publishing
(3)Schlagwort
edv
(14)informatik
(14)software engineering
(13)theorie
(9)formal methods
(8)modeling
(8)programmiersprachen
(8)software-entw.
(8)model checking
(7)formalmethods
(6)informationssystem
(6)software engineering/programming and operating systems
(5)betriebssystem (edv)
(4)compiler
(4)design
(4)internet
(4)operating system
(4)übersetzer (edv)
(4)automata
(3)datenverarbeitung
(3)formal method
(3)maschine
(3)modelchecking
(3)performance
(3)performance analysis
(3)programming languages, compilers, interpreters
(3)suchmaschine
(3)suchmethoden, spezielle anwender
(3)theory of computation
(3)verification
(3)anwendungen
(2)computer communication networks
(2)concurrent system
(2)distributed systems
(2)embedded systems
(2)executable software models
(2)executablesoftwaremodels
(2)formal specification
(2)formalspecification
(2)logics and meanings of programs
(2)mathematical logic and formal languages
(2)mathematik, statistik
(2)netzwerk (elektronisch)
(2)performanceanalysis
(2)petri net
(2)qualitätssicherung
(2)runtime assessment
(2)runtime testing
(2)security
(2)sicherung
(2)software verification
(2)softwareengineering
(2)systems design
(2)abs
(1)abstract behavioral modeling
(1)abstractbehavioralmodeling
(1)action
(1)ad-hoc wireless networking
(1)ad-hocwirelessnetworking
(1)agent-based middleware
(1)agent-basedmiddleware
(1)aggregate programming
(1)aggregateprogramming
(1)algorithms
(1)allgemeines
(1)antigen - antikörper
(1)architectural description languages
(1)architecturaldescriptionlanguages
(1)architektur (edv)
(1)automat
(1)automated analysis techniques
(1)automatedanalysistechniques
(1)benchmarketing
(1)bioinformatik
(1)biological systems
(1)biologicalsystems
(1)brane calculi
(1)branecalculi
(1)calculus
(1)communication
(1)communication protocols
(1)communication systems design
(1)communicationprotocols
(1)communicationsystemsdesign
(1)component systems
(1)componentsystems
(1)composition
(1)computation by abstract devices
(1)computational and systems biology
(1)computational biology/bioinformatics
(1)computer
(1)computer engineering
(1)computer language semantics
(1)computerlanguagesemantics
(1)concurrent systems
(1)concurrentsystem
(1)concurrentsystems
(1)connectors
(1)correct systems design
(1)correctsystemsdesign
(1)Erscheinungsjahr
2003
(1)2005
(1)2006
(1)2007
(1)2008
(1)2009
(1)2010
(2)2011
(1)2012
(1)2013
(1)2014
(1)2015
(1)2016
(1)Ergebnis: 14 Artikel
Autor: bernardo, marco
