Login / Signup
Modeling software product lines using color-blind transition systems.
Kim Guldstrand Larsen
Ulrik Nyman
Andrzej Wasowski
Published in:
Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
</>
software product line
transition systems
software engineering
concurrent systems
temporal logic
learning methodologies
model checking
future directions
artificial intelligence
social networks
decision making
e learning