Search: '"Software Engineering and Formal Methods"'

Showing 1 - 5 of 5 query time: 0.04s
Search Tools: Get RSS Feed
No Cover Image

Conference Paper/Proceeding/Abstract

Verification of Scheme Plans Using CSP || B / Philip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, et al

Swansea University Author: Phillip James
Published in Software Engineering and Formal Methods (2014)
No Cover Image

Conference Paper/Proceeding/Abstract

Speci?cation-Based Testing for Software Product Lines / Temesghen Kahsai, Bernd-Holger Schlingloff

No Cover Image

Book chapter

Verification of Solid State Interlocking Programs / Phillip James, Andy Lawrence, Markus Roggenbach, Anton Setzer, Karim Kanso, et al

No Cover Image

Conference Paper/Proceeding/Abstract

Verification of Solid State Interlocking Programs / Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Karim Kanso, et al

Swansea University Authors: Phillip James, Anton Setzer
Published in Software Engineering and Formal Methods (2014)
No Cover Image

Book chapter

Verification of Scheme Plans Using CSP || B / Philip James, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne, et al

Swansea University Authors: Hoang Nguyen, Faron Moller
Published in Software Engineering and Formal Methods (2014)
Search Tools: Get RSS Feed

Narrow Search

Year of Publication