2

Combining dynamic and static slicing for analysing assembler

Year:
2010
Language:
english
File:
PDF, 1.40 MB
english, 2010
4

Rough set approach to online signature identification

Year:
2011
Language:
english
File:
PDF, 476 KB
english, 2011
14

Formal aspects of microprocessor design

Year:
1990
Language:
english
File:
PDF, 167 KB
english, 1990
16

A model for timed-probabilistic behaviors

Year:
1995
Language:
english
File:
PDF, 1.38 MB
english, 1995
17

Cycle calculus for hybrid systems

Year:
1993
Language:
english
File:
PDF, 269 KB
english, 1993
19

On guaranteeing hard real-time tasks

Year:
1993
Language:
english
File:
PDF, 386 KB
english, 1993
20

Run-time analysis of time-critical systems

Year:
2005
Language:
english
File:
PDF, 542 KB
english, 2005
22

The Calculus of Context-aware Ambients

Year:
2011
Language:
english
File:
PDF, 410 KB
english, 2011
23

ATOM: An object-based formal method for real-time systems

Year:
1999
Language:
english
File:
PDF, 160 KB
english, 1999
24

A distributed algorithm for distributed termination

Year:
1987
Language:
english
File:
PDF, 369 KB
english, 1987
30

Provably correct derivation of algorithms using FermaT

Year:
2014
Language:
english
File:
PDF, 458 KB
english, 2014