Browsing by Author Maibaum, Thomas
Showing results 1 to 5 of 5
Publication Date | Title | Author(s) |
---|---|---|
Nov-2007 | An Extensible Workbench for the COMMUNITY Architecture Description Language | Santos, Jorge |
Jun-2015 | Implementability of Requirements for Safety-Critical Embedded Systems | Patcas, Lucian |
Nov-2015 | A Preparatory Study Towards a Body of Knowledge in the Field of Formal Methods for the Railway Domain | Kumar, Apurva |
Nov-2014 | Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications | Demasi, Ramiro |
Jul-2007 | Towards the Application of Software Architectures in Multi-Agent Systems | Garcia-Martinez, Salvador |
Showing results 1 to 5 of 5