2107 search results - page 7 / 422 » b 2007 |
B
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
B
2007
Springer
14 years 4 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
CONCURRENCY
2010
13 years 10 months ago
2010
Research augmenting B machines presented at B2007 has demonstrated how fragments of control flow expressed as annotations can be added to associated machine operations, and shown t...
ISCAS
2007
IEEE
14 years 4 months ago
2007
IEEE
— this paper presents an integrated 70dB gain, low-power, and low-noise active RC amplifier and filter for low bio-signals sensing applications. The -3dB sense channel bandwidth ...