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

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Categorical foundations for structured specifications in von Castro, Pablo F, Aguirre, Nazareno, Pombo, Carlos L, Maibaum, T S, E

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

Extraction, interpretation and validation of information for comparing samples in metabolic LC/MS data sets von JONSSON, Pär, BRUCE, Stephen J, ANTTI, Henrik, MORITZ, Thomas, TRYGG, Johan, SJÖSTRÖM, Michael, PLUMB, Robert, GRANGER, Jennifer, MAIBAUM, Elaine, NICHOLSON, Jeremy K, HOLMES, Elaine

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

Categorical foundations for structured specifications in Z von Castro, Pablo F., Aguirre, Nazareno, Pombo, Carlos L., Maibaum, T. S. E.

Volltext

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

Volltext

The Epistemology of Validation and Verification Testing von Maibaum, T. S. E.

Volltext

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics von López Pombo, Carlos Gustavo, Castro, Pablo F., Aguirre, Nazareno M., Maibaum, Thomas S. E.

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

Deontic action logic, atomic boolean algebras and fault-tolerance von Castro, Pablo F., Maibaum, T.S.E.

Volltext

Assessment of Analytical Reproducibility of super(1)H NMR Spectroscopy Based Metabonomics for Large-Scale Epidemiological Research: the INTERMAP Study von Dumas, M-E, Maibaum, E C, Teague, C, Ueshima, H, Zhou, B, Lindon, J C, Nicholson, J K, Stamler, J, Elliott, P, Chan, Q, Holmes, E

Volltext

Detection of urinary drug metabolite (Xenometabolome) signatures in molecular epidemiology studies via statistical total correlation (NMR) spectroscopy von Holmes, E, Loo, RL, Cloarec, O, Coen, M, Tang, H, Maibaum, E, Bruce, S, Chan, Q, Elliott, P, Stamler, J, Wilson, ID, Lindon, JC, Nicholson, JK

Volltext

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting von Lopez Pombo, Carlos Gustavo, Castro, Pablo F., Aguirre, Nazareno, Maibaum, Tomas S. E.

Volltext

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

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