Connecting you to content on EBSCOhost

Works matching IS 08857458 AND DT 2006 AND VI 34 AND IP 1

Results: 5

1

Guest Editor’s Introduction.

Published in:

International Journal of Parallel Programming, 2006, v. 34, n. 1, p. 1, doi. 10.1007/s10766-005-0003-9

By:

Harris, Ian G.;
Fummi, Franco

Publication type:

Article

2

Verification Approach of Metropolis Design Framework for Embedded Systems.

Published in:

International Journal of Parallel Programming, 2006, v. 34, n. 1, p. 3, doi. 10.1007/s10766-005-0002-x

By:

Xi Chen;
Hsieh, Harry;
Balarin, Felice

Publication type:

Article

3

Verification of System Level Model Transformations.

Published in:

International Journal of Parallel Programming, 2006, v. 34, n. 1, p. 29, doi. 10.1007/s10766-005-0001-y

By:

Abdi, Samar;
Gajski, Daniel

Publication type:

Article

4

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.

Published in:

International Journal of Parallel Programming, 2006, v. 34, n. 1, p. 61, doi. 10.1007/s10766-005-0004-8

By:

Currie, David;
Xiushan Feng;
Fujita, Masahiro;
Hu, Alan J.;
Kwan, Mark;
Rajan, Sreeranga

Publication type:

Article

5

Efficient Techniques for Automatic Verification-Oriented Test Set Optimization.

Published in:

International Journal of Parallel Programming, 2006, v. 34, n. 1, p. 93, doi. 10.1007/s10766-005-0005-7

By:

Sánchez, Ernesto;
Reorda, Matteo Sonza;
Squillero, Giovanni

Publication type:

Article