4340 search results - page 200 / 868 » Formal Methods and Cryptography |
115
click to vote
SAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
160
click to vote
ZUM
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
150
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
133
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
122
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...