Results 91 to 93 of about 177 (93)
Some of the next articles are maybe not open access.
Optimized Static Parameter Assignment for Semiformal Software Verification.
Alexander Grünhage +6 moreopenaire +1 more source
Framework for Domain Analysis of Teleteaching System: A Semiformal Approach.
Animesh Datta +4 moreopenaire +1 more source
A Semiformal Approach to the Security Problem of the Target of Evaluation (TOE) Modeling.
openaire +1 more source