Bilal Kanso

From MaRDI portal
Person:493530

Available identifiers

zbMath Open kanso.bilalMaRDI QIDQ493530

List of research outcomes





PublicationDate of PublicationType
Open Capacitated ARC routing problem by Hybridized Ant Colony Algorithm2021-07-22Paper
A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction2019-02-08Paper
A compositional automata-based semantics and preserving transformation rules for testing property patterns2015-09-03Paper
A formal abstract framework for modelling and testing complex software systems2012-10-11Paper
Testing of abstract components2010-08-31Paper

Research outcomes over time

This page was built for person: Bilal Kanso

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:493530&oldid=7392152"
Powered by MediaWiki