Titel

Merkliste
1 Ergebnisse

Case studies of application of probabilistic and statistica..:

, In: Proceedings of the Fourth International Workshop on Games and Software Engineering,

Milazzo, Paolo ; Pardini, Giovanni ; Sestini, Dario. - p. 29-35 , 2015

Link: https://dl.acm.org/doi/10.5555/2820144.2820153

RT 
T1 <cTitle>Proceedings of the Fourth International Workshop on Games and Software Engineering</cTitle>: T1 <Title>Case studies of application of probabilistic and statistical model checking in game design</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2820153&Exemplar=1&LAN=DE
				
A1 Milazzo, Paolo
A1 Pardini, Giovanni
A1 Sestini, Dario
A1 Bove, Pasquale
PB IEEE Press
YR 2015
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Model checking
K1 Theory of computation
K1 Logic
K1 Verification by model checking
K1 Applied computing
K1 Computers in other domains
K1 Personal computers and PC applications
K1 Computer games
K1 Information systems
K1 Information systems applications
K1 Multimedia information systems
K1 Massively multiplayer online games
K1 Contextual software domains
K1 Virtual worlds software
K1 Interactive games
SP 29
OP 35
LK http://dx.doi.org/https://dl.acm.org/doi/10.5555/2820144.2820153
DO https://dl.acm.org/doi/10.5555/2820144.2820153
SF ELIB - SuUB Bremen

Export

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