Titel

Merkliste
1 Ergebnisse

Graded CTL model checking for test generation:

, In: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium,

Napoli, Margherita ; Parente, Mimmo - p. 59-66 , 2011

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

RT 
T1 <cTitle>Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium</cTitle>: T1 <Title>Graded CTL model checking for test generation</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2048483&Exemplar=1&LAN=DE
				
A1 Napoli, Margherita
A1 Parente, Mimmo
PB Society for Computer Simulation International
YR 2011
K1 graded temporal logics
K1 hierarchical finite state machines
K1 model checking
K1 test generation
K1 Theory of computation
K1 Logic
K1 Verification by model checking
K1 Software and its engineering
K1 Software organization and properties
K1 Software functional properties
K1 Formal methods
K1 Model checking
K1 Computing methodologies
K1 Modeling and simulation
K1 Software creation and management
K1 Software verification and validation
K1 Software defect analysis
K1 Software testing and debugging
SP 59
OP 66
LK http://dx.doi.org/https://dl.acm.org/doi/10.5555/2048476.2048483
DO https://dl.acm.org/doi/10.5555/2048476.2048483
SF ELIB - SuUB Bremen

Export

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