Results 241 to 250 of about 45,469 (261)

The Formal Derivative as a Limit

2023
openaire   +1 more source

Formal semantics for the automated derivation of micro-code

Proceedings of the nineteenth design automation conference on - DAC '82, 1982
Robert A. Mueller, Joseph Varghese
openaire   +2 more sources

Formal Derivation of Direct Torque Control for Induction Machines

IEEE Transactions on Power Electronics, 2006
P T Krein
exaly  

Formal Analysis and Design for Engineering Security Automated Derivation of Formal Software Security Specifications From Goal-Oriented Security Requirements

IET Software, 2010
M Eltoweissy
exaly  

Derivation of Ontological Relations Using Formal Methods in a Situation Awareness Scenario

2003
Christopher Matheus
exaly  

Formal Derivation of Algorithm and Isabelle-Based Automatic Verification

2017
Qinghong Yang
exaly  

Integrable Derivations and Formal Groups in Unequal Characteristic

Rendiconti Del Circolo Matematico Di Palermo, 1998
Marilena Crupi, Gaetana Restuccia
exaly  

Generating Languages by a Derivation Procedure for Elementary Formal Systems

Information Processing Letters, 1999
Noriko Sugimoto, Hiroki Ishizaka
exaly  

Formal Derivation of Concurrent Programs: An Example From Industry

IEEE Transactions on Software Engineering, 1993
exaly  

Derivation of UML Class Diagrams as Static Views of Formal B Developments

Lecture Notes in Computer Science, 2005
Akram Idani, Yves Ledru, Didier Bert
exaly