Sciweavers

2 search results - page 1 / 1
» Higher order Moreau's sweeping process: mathematical formula...
Sort
View
MP
2008
65views more  MP 2008»
15 years 11 days ago
Higher order Moreau's sweeping process: mathematical formulation and numerical simulation
Vincent Acary, Bernard Brogliato, Daniel Goeleven
FTRTFT
1998
Springer
15 years 4 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer