Login / Signup
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