Detection, diagnosis and correction of faults in telecommunications software development based on formal methods
Date
Authors
Type
Ph.D. Thesis
Publisher
Budapesti Műszaki és Gazdaságtudományi Egyetem
Alternative
Hibák felderítése, diagnosztikája és korrekciója formális módszereken alapuló távközlési szoftver fejlesztése során
Date Defence
2006-10-24
Faculty
Villamosmérnöki és Informatikai Kar
- Cite this item
- http://hdl.handle.net/10890/486
OOC works
Abstract
Description
Keywords
Szoftver, Programellenőrzés