Connecting you to content on EBSCOhost

Works matching DE "B method (Computer science)"

Results: 6

1

Book Review: Specification in B: an introduction using the B toolkit. Kevin Lano and Howard Haughton. Published by Imperial College Press and distributed by World Scientific Publishing, London, U.K., 1996. ISBN: 1-86094-018-8, 242 pages. Price: U.K. £17.00, soft cover.

Published in:

1997

By:

Waeselynck, Hélène

Publication type:

Book Review

2

Concepts of Refinement and Simulation in BPA and B-Method.

Published in:

Journal of Computer Science & Control Systems, 2009, v. 2, n. 2, p. 74

By:

Výrost, Marek;
Korečko, Štefan;
Hudák, Štefan

Publication type:

Article

3

Inferring physical units in formal models.

Published in:

Software & Systems Modeling, 2017, v. 16, n. 1, p. 25, doi. 10.1007/s10270-015-0458-0

By:

Krings, Sebastian;
Leuschel, Michael

Publication type:

Article

4

Verifying Dynamic Properties with Past Temporal Operators in the B Refinement.

Published in:

International Review on Computers & Software, 2008, v. 3, n. 4, p. 429

By:

Ayed, L. Jemni Ben

Publication type:

Article

5

Differential Debugging.

Published in:: IEEE Software, 2013, v. 30, n. 6, p. 9, doi. 10.1109/MS.2013.123
Publication type:: Article

6

Review: Book Review.

Published in:

1997

By:

Butler, M.

Publication type:

Book Review