DocumentCode
1379235
Title
ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods
Volume
8
Issue
3
fYear
2000
fDate
9/1/2000 12:00:00 AM
Firstpage
276
Lastpage
285
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;
fLanguage
English
Journal_Title
Rehabilitation Engineering, IEEE Transactions on
Publisher
ieee
ISSN
1063-6528
Type
jour
DOI
10.1109/86.867869
Filename
867869
Link To Document