HATS: A Formal Software Product Line Engineering Methodology
Conference contribution, 2010

Author

D. Clarke

Nikolay Diakov

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers)

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Einar Broch Johnsen

German Puebla

Balthasar Weitzel

Peter Wong

Proceedings 1st International Workshop on Formal Methods in Software Product Line Engineering (Jeju Island, South Corea)

Subject Categories

Software Engineering

Computer Science

More information

Created

10/8/2017