Title :
ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods
fDate :
9/1/2000 12:00:00 AM
Abstract :
The following topics were dealt with: formal software engineering methods; system structuring; formal specification; algebraic approaches; program verification; formal and informal notation; retrenchment; Z specification; and program animation
Keywords :
formal specification; process algebra; program verification; program visualisation; specification languages; Z specification; algebraic approaches; formal notation; formal software engineering methods; formal specification; informal notation; program animation; program verification; retrenchment; system structuring; Electrical stimulation; Electrodes; Electromyography; Fatigue; Fluctuations; Force control; Muscles; Nerve fibers; Neuromuscular; Recruitment;
Journal_Title :
Rehabilitation Engineering, IEEE Transactions on
