Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Englisch)
- Neue Suche nach: Dongol, B.
- Neue Suche nach: Hayes, I.J.
- Neue Suche nach: Dongol, B.
- Neue Suche nach: Hayes, I.J.
- Neue Suche nach: Gibbons, Jeremy
- Neue Suche nach: Nogueira, Pablo
In:
Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27 2012 : proceedings /
7342
;
102-131
;
2012
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
-
Beteiligte:
-
Kongress:International conference; 11th, Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27 2012 : proceedings / ; 2012 ; Madrid
-
Erschienen in:Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27 2012 : proceedings / , 7342 ; 102-131LECTURE NOTES IN COMPUTER SCIENCE , 7342 ; 102-131
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:30 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online.
-
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
-
Probabilistic Relational Hoare Logics for Computer-Aided Security ProofsBarthe, G. / Gregoire, B. / Beguelin, S.Z. et al. | 2012
- 7
-
The Laws of Programming Unify Process CalculiHoare, T. / van Staden, S. et al. | 2012
- 23
-
The Geometry of Synthesis: How to Make Hardware Out of Software (Abstract)Ghica, D.R. et al. | 2012
- 25
-
Scheduler-Independent DeclassificationLux, A. / Mantel, H. / Perner, M. et al. | 2012
- 48
-
Elementary Probability Theory in the Eindhoven StyleMorgan, C. et al. | 2012
- 74
-
Scheduling and Buffer Sizing of n-Synchronous Systems: Typing of Ultimately Periodic Clocks in Lucy-nMandel, L. / Plateau, F. et al. | 2012
- 102
-
Deriving Real-Time Action Systems Controllers from Multiscale System SpecificationsDongol, B. / Hayes, I.J. et al. | 2012
- 132
-
Calculating Graph Algorithms for Dominance and Shortest PathSergey, I. / Midtgaard, J. / Clarke, D. et al. | 2012
- 157
-
First-Past-the-Post GamesBackhouse, R. et al. | 2012
- 177
-
Reverse Exchange for Concurrency and Local ReasoningDang, H.-H. / Moller, B. et al. | 2012
- 198
-
Unifying Correctness StatementsGuttmann, W. et al. | 2012
- 220
-
Dependently Typed Programming Based on Automated Theorem ProvingArmstrong, A. / Foster, S. / Struth, G. et al. | 2012
- 241
-
An Algebraic Calculus of Database PreferencesMoller, B. / Roocks, P. / Endres, M. et al. | 2012
- 263
-
Modular Tree AutomataBahr, P. et al. | 2012
- 300
-
Constructing Applicative FunctorsPaterson, R. et al. | 2012
- 324
-
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old TrickHinze, R. et al. | 2012