Titel

Merkliste
1 Ergebnisse

The RERS 2017 challenge and workshop (invited paper):

, In: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software,

Jasper, Marc ; Fecke, Maximilian ; Steffen, Bernhard... - p. 11-20 , 2017

Link: https://dl.acm.org/doi/10.1145/3092282.3098206

RT 
T1 <cTitle>Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software</cTitle>: T1 <Title>The RERS 2017 challenge and workshop (invited paper)</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3098206&Exemplar=1&LAN=DE
				
A1 Jasper, Marc
A1 Fecke, Maximilian
A1 Steffen, Bernhard
A1 Schordan, Markus
A1 Meijer, Jeroen
A1 Pol, Jaco van de
A1 Howar, Falk
A1 Siegel, Stephen F.
PB ACM
YR 2017
K1 benchmark generation
K1 modal transition systems
K1 model checking
K1 property-preservation
K1 race analysis
K1 temporal logic
K1 verification
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Model checking
K1 Software verification
K1 Theory of computation
K1 Logic
K1 Logic and verification
K1 Verification by model checking
K1 General and reference
K1 Cross-computing tools and techniques
K1 Evaluation
K1 Linear logic
K1 Modal and temporal logics
K1 Validation
K1 Software system structures
K1 Software system models
K1 Massively parallel systems
K1 State systems
K1 Petri nets
K1 Contextual software domains
K1 Operating systems
K1 Process management
K1 Concurrency control
K1 Process synchronization
K1 Deadlocks
K1 Software notations and tools
K1 System description languages
K1 Design languages
K1 Models of computation
K1 Concurrency
K1 Process calculi
K1 Abstraction
SP 11
OP 20
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3092282.3098206
DO https://dl.acm.org/doi/10.1145/3092282.3098206
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)