Formal Methods for Systems Engineering Behavior Models.

Charlotte Seidner Olivier H. Roux

Published in: IEEE Trans. Ind. Informatics (2008)

Keyphrases

systems engineering
formal methods
software engineering
formal analysis
artificial intelligence
requirements engineering
database
multi agent systems
systems development