Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Model-based testing for concurrent systems with labelled event structures
de León, Hernán Ponce, Haar, Stefan, Longuet, Delphine
Published in Software testing, verification & reliability (01.11.2014)
Published in Software testing, verification & reliability (01.11.2014)
Get full text
Journal Article