Prezentacja autora Tichakorn Wongpiromsarn:

Dotychczas wydane książki Tichakorn Wongpiromsarn:

Metody formalne dla systemów autonomicznych - Formal Methods for Autonomous Systems

Metody formalne odnoszą się do rygorystycznych,...