3 search results - page 1 / 1 » Using B as a High Level Programming Language in an Industria... |
ZUM
2005
Springer
14 years 28 days ago
2005
Springer
HIPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
MICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...