Sciweavers

76
Voted
FM
1994
Springer

Adding Real Time to Formal Program Development

15 years 29 days ago
Adding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
Colin J. Fidge
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where FM
Authors Colin J. Fidge
Comments (0)