TALLINNA TEHNIKAÜLIKOOLI
RAAMATUKOGU DIGIKOGU
tuvastatud kui külaline  
 


(0.7 MB)

Pealkiri Two State Space Reduction Techniques for Explicit State Model Checking.
Kaks olekuruumi kahandamise tehnikat olekute otseesitusega mudelikontrollis 
Autor Ernits, Juhan-Peep 
Märksõnad verifitseerimine, mudelipõhine testimine, olekute otseesitusega mudelikontroll, sümmeetriareduktsioon, olekugraafide isomorfism, oleku bitina esituse reduktsioon, itereeritud otsingutäpsustus, oleku bitina esitusel põhinev olekuruumi kärpimise tehnika, dissertatsioonid,
verification, model-based testing, explicit state model checking, symmetry reduction, state graph isomorphism, bitstate hashing, iterated search refinement, bitstate pruning, dissertations 
Väljaandja TUT Press 
Juhendaja Vain, Jüri 
Kaitsmiskuupäev 29.11.2007 
Identifikaator ISBN 9789985597361
ISSN 14064731 
Keel eng 
Asutus Tallinna Tehnikaülikool
Tallinn University of Technology 
Teaduskond Infotehnoloogia teaduskond
Faculty of Information Technology 
Instituut Arvutiteaduse instituut
Department of Computer Science