Hungarian Formális módszerek Cited by user Biro.daniella on 25 Jan 2022 A számítástechnikában, különösen a szoftverfejlesztésben és a hardvertervezésben, a formális módszerek a szoftver- és hardverrendszerek specifikációjának, fejlesztésének é…
English Formal methods Cited by user Jpbowen on 04 Sep 2020 In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically rigorous techniques for the…