1676 search results - page 76 / 336 » Formal Development of Self-organising Systems |
153
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
155
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
193
click to vote
TYPES
1993
Springer
15 years 9 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
151
click to vote
APSEC
2001
IEEE
15 years 9 months ago
2001
IEEE
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powe...
123
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...