Formal Derivation of a Distributed Program in Event B

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-24559-6_29 ◽

2011 ◽

pp. 420-436 ◽

Author(s):

Alexei Iliasov ◽

Linas Laibinis ◽

Elena Troubitsyna ◽

Alexander Romanovsky

Keyword(s):

Formal Derivation

Download Full-text

Formal Derivation of Mesh Neural Networks with Their Forward-Only Gradient Propagation

Neural Processing Letters ◽

10.1007/s11063-021-10490-1 ◽

2021 ◽

Author(s):

Federico A. Galatolo ◽

Mario G. C. A. Cimino ◽

Gigliola Vaglini

Keyword(s):

Neural Networks ◽

Formal Derivation

Download Full-text

Formal derivation of an expression for the cross section for resonant formation of dt mu in the muon catalysed fusion cycle

Journal of Physics B Atomic Molecular and Optical Physics ◽

10.1088/0953-4075/27/23/002 ◽

1994 ◽

Vol 27 (23) ◽

pp. L763-L770 ◽

Author(s):

E A G Armour

Keyword(s):

Cross Section ◽

Formal Derivation ◽

Download Full-text

Formal derivation and existence of global weak solutions of a two-dimensional bilayer model coupling shallow water and Reynolds lubrication equations

Asymptotic Analysis ◽

10.3233/asy-161381 ◽

2016 ◽

Vol 99 (3-4) ◽

pp. 207-239

Author(s):

Brahima Roamba ◽

Jean de Dieu Zabsonré ◽

Sado Traoré

Keyword(s):

Shallow Water ◽

Weak Solutions ◽

Model Coupling ◽

Two Dimensional ◽

Global Weak Solutions ◽

Formal Derivation

Download Full-text

Formal Derivation of Finite State Machines for Class Testing

ZUM ’98: The Z Formal Specification Notation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-49676-2_4 ◽

1998 ◽

pp. 42-59 ◽

Author(s):

Leesa Murray ◽

David Carrington ◽

Ian MacColl ◽

Jason McDonald ◽

Paul Strooper

Keyword(s):

Finite State Machines ◽

State Machines ◽

Formal Derivation ◽

Class Testing ◽

Download Full-text

Formal derivation of rule-based programs

IEEE Transactions on Software Engineering ◽

10.1109/32.221138 ◽

1993 ◽

Vol 19 (3) ◽

pp. 277-296 ◽

Author(s):

G.-C. Roma ◽

R.F. Gamble ◽

W.E. Ball

Keyword(s):

Formal Derivation

Download Full-text

Formal derivation of a pattern matching algorithm

Science of Computer Programming ◽

10.1016/0167-6423(89)90036-1 ◽

1989 ◽

Vol 12 (2) ◽

pp. 93-104 ◽

Author(s):

R.S. Bird ◽

J. Gibbons ◽

G. Jones

Keyword(s):

Pattern Matching ◽

Matching Algorithm ◽

Formal Derivation ◽

Pattern Matching Algorithm

Download Full-text

Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems

Frontiers in Algorithmics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-02270-8_6 ◽

2009 ◽

pp. 27-39 ◽

Author(s):

Changjing Wang ◽

Jinyun Xue

Keyword(s):

Formal Derivation

Download Full-text

Formal derivation of SIMD parallelism from non-linear recursive specifications

Parallel Processing: CONPAR 94 — VAPP VI - Lecture Notes in Computer Science ◽

10.1007/3-540-58430-7_13 ◽

1994 ◽

pp. 136-147 ◽

Author(s):

A. Max Geerling

Keyword(s):

Formal Derivation ◽

Simd Parallelism

Download Full-text

The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-319-24255-2_4 ◽

2015 ◽

pp. 29-43 ◽

Author(s):

Anton Tarasyuk ◽

Inna Pereverzeva ◽

Elena Troubitsyna ◽

Timo Latvala

Keyword(s):

Formal Derivation ◽

Flight Formation

Download Full-text

Formal Derivation of Direct Torque Control for Induction Machines

IEEE Transactions on Power Electronics ◽

10.1109/tpel.2006.882086 ◽

2006 ◽

Vol 21 (5) ◽

pp. 1428-1436 ◽

Author(s):

Z. Sorchini ◽

P.T. Krein

Keyword(s):

Direct Torque Control ◽

Induction Machines ◽

Torque Control ◽

Formal Derivation

Download Full-text