Formalization of Semi-Algebraic Sets in PVS
Summer Interns 2020 Exit Deliverable Presentations ; 2020 ; Hampton, VA, US
Miscellaneous
No indication
English
British Library Conference Proceedings | 2006
|Towards formalization of wireless vehicular networking
IEEE | 2020
|A formalization of measurement scale forms
TIBKAT | 1969
|