C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011).
David Benavides
Martin Leucker
Martin Becker
Rick Rabiser
Karina Villela
Peter Y. H. Wong
Published in:
SPLC (2011)
Keyphrases
</>
formal methods
formal analysis
development lifecycle
software engineering
software development
software systems
artificial intelligence
database systems
fine grained
lessons learned
formal specification
safety critical