Works matching IS 14332779 AND DT 2005 AND VI 7 AND IP 3

Results: 7

Formal verification of fault tolerance in safety-critical reconfigurable modules.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 268, doi. 10.1007/s10009-004-0152-y

By:

Hammarberg, Jerker;
Nadjm-Tehrani, Simin

Publication type:

Article

Integration of informal and formal development of object-oriented safety-critical software.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 197, doi. 10.1007/s10009-004-0166-5

By:

Bubel, Richard;
Hähnle, Reiner

Publication type:

Article

An overview of JML tools and applications.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 212, doi. 10.1007/s10009-004-0167-4

By:

Burdy, Lilian;
Cheon, Yoonsik;
Cok, David R.;
Ernst, Michael D.;
Kiniry, Joseph R.;
Leavens, Gary T.;
Leino, K. Rustan M.;
Poll, Erik

Publication type:

Article

A verification approach to applied system security.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 233, doi. 10.1007/s10009-004-0176-3

By:

Brucker, Achim D.;
Wolff, Burkhart

Publication type:

Article

prialt in Handel-C: an operational semantics.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 248, doi. 10.1007/s10009-004-0181-6

By:

Butterfield, Andrew;
Woodcock, Jim

Publication type:

Article

Distributed state space minimization.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 280, doi. 10.1007/s10009-004-0185-2

By:

Blom, Stefan;
Orzan, Simona

Publication type:

Article

Introductory paper.

Published in:

International Journal on Software Tools for Technology Transfer, 2005, v. 7, n. 3, p. 195, doi. 10.1007/s10009-005-0196-7

By:

Arts, Thomas;
van de Pol, Jaco

Publication type:

Article