Search for Author All Reviews
	Paiva, Sofia Costa     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Generation of complete test suites from Mealy input/output transition systems Paiva S., Simao A. Formal Aspects of Computing 28(1): 65-78, 2016.  Type: Article The ever-increasing complexity of systems has motivated research in methodologies like model-based design (MBD) for managing and controlling the complexity of system development. MBD raises the level of abstraction of languages for spe...... Jul 15 2016
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy