A formal approach to rigorous development of critical systems von Singh, Neeraj Kumar, Lawford, Mark, Maibaum, Thomas S. E., Wassyng, Alan

Volltext

Simulation relations for fault-tolerance von Demasi, Ramiro, Castro, Pablo F., Maibaum, Thomas S. E., Aguirre, Nazareno

Volltext

Formal Methods at the Crossroads. from Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United N... von Aichernig, Bernhard K, Maibaum, Tom

Volltext

TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 von Abramsky, S, Maibaum, T. S. E

Volltext

Actions and Events in Concurrent Systems Design von Cassano, Valentin, Maibaum, Thomas S. E.

Volltext

Automated Reasoning over Deontic Action Logics with Finite Vocabularies von Castro, Pablo F., Maibaum, Thomas S. E.

Volltext

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : Proceedings von Hutchison, David, Kanade, Takeo, Kittler, Josef

Volltext

Reasoning about static and dynamic properties in alloy: A purely relational approach von Frias, Marcelo F., López Pombo, Carlos G., Baum, Gabriel A., Aguirre, Nazareno M., Maibaum, Thomas S. E.

Volltext

Fundamental Approaches to Software Engineering: Third International Conference, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2... von Maibaum, Tom

Volltext

Encapsulating deontic and branching time specifications von Castro, Pablo F., Maibaum, Thomas S.E.

Volltext

Actions and Events in Concurrent Systems Design von Cassano, Valentin, Maibaum, Thomas S E

Volltext

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Volltext

Automated Reasoning over Deontic Action Logics with Finite Vocabularies von Castro, Pablo F, Maibaum, Thomas S E

Volltext

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules von Cassano, Valentín, Pombo, Carlos Gustavo Lopez, Maibaum, Thomas S. E.

Volltext

Use of Tabular Expressions for Refinement Automation von Singh, Neeraj Kumar, Lawford, Mark, Maibaum, Thomas S. E., Wassyng, Alan

Volltext

A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case von Cassano, Valentín, Maibaum, Thomas S. E., Grigorova, Silviya

Volltext

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements von Singh, Neeraj Kumar, Wang, Hao, Lawford, Mark, Maibaum, Thomas S. E., Wassyng, Alan

Volltext

A proof theoretic basis for relational semantics von Pombo, Carlos G. Lopez, Maibaum, Thomas S. E

Volltext bestellen

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications von Demasi, Ramiro, Castro, Pablo F., Ricci, Nicolás, Maibaum, Thomas S. E., Aguirre, Nazareno

Volltext

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting von Castro, Pablo F., Aguirre, Nazareno M., López Pombo, Carlos Gustavo, Maibaum, Thomas S. E.

Volltext