The Rhythms of Reiteration: Formal Development in Stravinsky's Ostinati

1992 ◽  
Vol 14 (2) ◽  
pp. 171-187 ◽  
Author(s):  
Gretchen Horlacher
Keyword(s):  
Formal Development

scholarly journals Toward formal development of programs from algebraic specifications: Parameterisation revisited

1992 ◽  
Vol 29 (8) ◽  
pp. 689-736 ◽  
Author(s):  
Donald Sannella ◽  
Stefan Sokolowski ◽  
Andrzej Tarlecki
Keyword(s):  
Algebraic Specifications ◽  
Formal Development

Formal Development of General Relativity

1969 ◽  
pp. 155-212
Author(s):  
Wolfgang Rindler
Keyword(s):  
General Relativity ◽  
Formal Development

Formal Development of Mechanisms for Tolerating Transient Faults

2006 ◽  
pp. 189-209 ◽  
Author(s):  
Dubravka Ilić ◽  
Elena Troubitsyna ◽  
Linas Laibinis ◽  
Colin Snook
Keyword(s):  
Transient Faults ◽  
Formal Development

scholarly journals Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

2020 ◽  
pp. 21-39
Author(s):  
Neeraj Kumar Singh ◽  
Yamine Aït-Ameur ◽  
Dominique Méry ◽  
David Navarre ◽  
Philippe Palanque ◽  
...  
Keyword(s):  
Formal Development ◽  
Interactive Application
Sign in / Sign up

Export Citation Format

Share Document