20 July 2020 Share this article linkedin facebook twitter Labsoc has selected our UML-B methodology works in the context of operating system models. Previous article Next article