Results 271 to 280 of about 340,216 (285)

Formal Derivation of Direct Torque Control for Induction Machines

IEEE Transactions on Power Electronics, 2006
exaly  

Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements

IET Software, 2010
exaly  

Program derivation and formal verification

1996
openaire   +1 more source

The Formal Derivative as a Limit

2023
openaire   +1 more source

Formal derivation of algorithm and Isabelle-based automatic verification

2017
exaly  

Formal Derivation and Implementation for the Stone-Merger Algorithm

2010
exaly  

A Visual Interactive Framework for Formal Derivation

Lecture Notes in Computer Science, 2005
exaly  

Formal Derivation of Two Algorithms Involving Sequences

2011
exaly  

Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems

2020
exaly  

Formal Derivation of the Combinatorics Problems with PAR Method

Journal of Software Engineering and Applications, 2009
exaly