A Galois theory of local reasoning in control systems with compositionality (Englisch)
- Neue Suche nach: Ingleby, M.
- Neue Suche nach: Institute for Mathematics and Its Applications
- Neue Suche nach: Ingleby, M.
- Neue Suche nach: Mitchell, C.
- Neue Suche nach: Stavridou, V.
- Neue Suche nach: Institute for Mathematics and Its Applications
In:
Mathematics of dependable systems
;
103-130
;
1995
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:A Galois theory of local reasoning in control systems with compositionality
-
Beteiligte:Ingleby, M. ( Autor:in ) / Mitchell, C. / Stavridou, V. / Institute for Mathematics and Its Applications
-
Kongress:Conference, Mathematics of dependable systems ; 1993 ; London
-
Erschienen in:Mathematics of dependable systems ; 103-130
-
Verlag:
- Neue Suche nach: Clarendon Press
-
Erscheinungsort:Oxford , New York
-
Erscheinungsdatum:01.01.1995
-
Format / Umfang:28 pages
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Simulated data experiment to test a software reliability growth model based on exercise frequenciesAndrews, A. W. / Cole, R. J. / Institute for Mathematics and Its Applications et al. | 1995
- 23
-
Towards verified systems: the SAFEMOS projectBowen, J. P. / Jifeng, H. / Hale, R. W. S. / Herbert, J. M. J. / Institute for Mathematics and Its Applications et al. | 1995
- 49
-
Formalising safety in decision support systemsDas, S. K. / Institute for Mathematics and Its Applications et al. | 1995
- 63
-
Formal techniques for requirements analysis for safety-critical systemsDe Lemos, R. / Saeed, A. / Anderson, T. / Institute for Mathematics and Its Applications et al. | 1995
- 95
-
Proving authentication protocols - what do authentication protocols prove?Gollmann, D. / Institute for Mathematics and Its Applications et al. | 1995
- 103
-
A Galois theory of local reasoning in control systems with compositionalityIngleby, M. / Institute for Mathematics and Its Applications et al. | 1995
- 131
-
A formal framework for fault-tolerant programsLiu, Z. / Joseph, M. / Institute for Mathematics and Its Applications et al. | 1995
- 149
-
Composition and refinement of probabilistic real-time systemsLiu, Z. / Nordahl, J. / Soerensen, E. V. / Institute for Mathematics and Its Applications et al. | 1995
- 165
-
Fault prediction for software development processesMay, J. / Hall, P. / Zhu, H. / Cockram, T. / Institute for Mathematics and Its Applications et al. | 1995
- 183
-
Single Transferable Vote: a case study of the use of VDM-SLMukherjee, P. / Wichmann, B. A. / Institute for Mathematics and Its Applications et al. | 1995
- 209
-
Mathematics of computation for (Software and other) EngineersParnas, D. L. / Institute for Mathematics and Its Applications et al. | 1995
- 225
-
Formal demonstration of equivalence of source code and PROM contents: an industrial examplePavey, D. J. / Winsborrow, L. A. / Institute for Mathematics and Its Applications et al. | 1995
- 249
-
Uses and misuses of formal methods in computer securityPfleeger, C. P. / Institute for Mathematics and Its Applications et al. | 1995
- 257
-
Logical methods in the formal verification of safety-critical softwarePulley, C. / Conroy, G. V. / Institute for Mathematics and Its Applications et al. | 1995
- 275
-
Understanding software test adequacy - an axiomatic and measurement theory approachZhu, H. / Hall, P. A. V. / May, J. H. R. / Institute for Mathematics and Its Applications et al. | 1995