Font Size:
a
A
A
Keyword [Verified]
Result: 21 - 32 | Page: 2 of 2
21.
A hybrid pseudodynamic testing platform for structural engineering research: Application for the development of an innovative retrofit scheme
22.
Engineering Specifications and Mathematics for Verified Software
23.
Acceleration of verified numerical algorithms for finding all solutions to the inverse kinematics problem
24.
Techniques for developing verified concurrent programs based on monitors and semaphores
25.
Working Towards the Verified Software Process
26.
IF GPS signal simulator development and verification
27.
Millimeter-wave single- and multiple-beam integrated circuit lens antennas
28.
An Extensible Architecture for Building Certified Sequential and Concurrent OS Kernels
29.
Cross-coordinated control: An experimentally verified technique for the hybrid twist and wrench control of a voltage-controlled industrial robot
30.
Efficient, Mechanically-Verified Validation of Satisfiability Solvers
31.
Use of Verified Twitter Accounts During Crisis Event
32.
A Verified Multi-threaded Code Generation From Synchronous Programs
<<First
<Prev
Next>
Last>>
Jump to
