MAZE: An Extension of Object-Z for Multi-Agent Systems (Englisch)
- Neue Suche nach: Smith, G.
- Neue Suche nach: Li, Q.
- Neue Suche nach: Smith, G.
- Neue Suche nach: Li, Q.
- Neue Suche nach: Ait-Ameur, Yamine
- Neue Suche nach: Schewe, Klaus-Dieter
In:
ABZ; Abstract state machines, alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014
8477
;
72-85
;
2014
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:MAZE: An Extension of Object-Z for Multi-Agent Systems
-
Beteiligte:
-
Kongress:International conference; 4th, ABZ; Abstract state machines, alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014 ; 2014 ; Toulouse, France
-
Erschienen in:ABZ; Abstract state machines, alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014 , 8477 ; 72-85LECTURE NOTES IN COMPUTER SCIENCE , 8477 ; 72-85
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2014
-
Format / Umfang:14 pages
-
Anmerkungen:"e-ISSN 1611-3349" --Title page verso. 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
-
The Rodin Platform Has Turned TenVoisin, L. / Abrial, J.-R. et al. | 2014
- 9
-
Development of a Verified Flash File SystemSchellhorn, G. / Ernst, G. / Pfahler, J. / Haneberg, D. / Reif, W. et al. | 2014
- 25
-
Why Amazon Chose TLA^+Newcombe, C. et al. | 2014
- 40
-
Translating B to TLA^+ for Validation with TLCHansen, D. / Leuschel, M. et al. | 2014
- 56
-
alpha Rby-An Embedding of Alloy in RubyMilicevic, A. / Efrati, I. / Jackson, D. et al. | 2014
- 72
-
MAZE: An Extension of Object-Z for Multi-Agent SystemsSmith, G. / Li, Q. et al. | 2014
- 86
-
Quasi-Lexicographic ConvergenceHallerstede, S. et al. | 2014
- 101
-
Towards B as a High-Level Constraint Modelling Language: Solving the Jobs Puzzle ChallengeLeuschel, M. / Schneider, D. et al. | 2014
- 117
-
Analysis of Self-* and P2P Systems Using RefinementAndriamiarina, M.B. / Mery, D. / Singh, N.K. et al. | 2014
- 124
-
B Formal Validation of ERTMS/ETCS Railway Operating RulesAyed, R.B. / Collart-Dutilleul, S. / Bon, P. / Idani, A. / Ledru, Y. et al. | 2014
- 130
-
Modelling Energy Consumption in Embedded Systems with VDM-RTIsasa, J.A.E. / Jorgensen, P.W.V. / Nielsen, C.B. / Hallerstede, S. et al. | 2014
- 136
-
Sealed Containers in ZBoiten, E. / Jacob, J. et al. | 2014
- 142
-
Specifying Transaction Control to Serialize Concurrent Program ExecutionsBorger, E. / Schewe, K.-D. et al. | 2014
- 158
-
Distributed Situation Analysis: A Formal Semantic FrameworkNalbandyan, N. / Glasser, U. / Shahir, H.Y. / Wehn, H. et al. | 2014
- 174
-
Introducing Aspect-Oriented Specification for Abstract State MachinesDausend, M. / Raschke, A. et al. | 2014
- 188
-
Modular Refinement for Submachines of ASMsErnst, G. / Pfahler, J. / Schellhorn, G. / Reif, W. et al. | 2014
- 204
-
Towards ASM-Based Formal Specification of Self-Adaptive SystemsRiccobene, E. / Scandurra, P. et al. | 2014
- 210
-
Distributed ASM - Pitfalls and SolutionsPrinz, A. / Sherratt, E. et al. | 2014
- 216
-
WebASM: An Abstract State Machine Execution Environment for the WebZenzaro, S. / Gervasi, V. / Soldani, J. et al. | 2014
- 221
-
Formal System Modelling Using Abstract Data Types in Event-BFurst, A. / Hoang, T.S. / Basin, D. / Sato, N. / Miyazaki, K. et al. | 2014
- 238
-
Formal Derivation of Distributed MapReducePereverzeva, I. / Butler, M. / Fathabadi, A.S. / Laibinis, L. / Troubitsyna, E. et al. | 2014
- 255
-
Validating the RBAC ANSI 2012 Standard Using BHuynh, N. / Frappier, M. / Mammar, A. / Laleau, R. / Desharnais, J. et al. | 2014
- 271
-
Invariant Guided System DecompositionBanach, R. et al. | 2014
- 277
-
Understanding and Planning Event-B Refinement through Primitive RationalesKobayashi, T. / Ishikawa, F. / Honiden, S. et al. | 2014
- 284
-
Templates for Event-B Code GenerationEdmunds, A. et al. | 2014
- 290
-
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof ObligationsDelahaye, D. / Dubois, C. / Marche, C. / Mentre, D. et al. | 2014
- 294
-
Tuning the Alt-Ergo SMT Solver for B Proof ObligationsConchon, S. / Iguernelala, M. et al. | 2014
- 298
-
Fixed-Point Arithmetic Modeled in B Software Using RealsGuery, J. / Rolland, O. / Rehm, J. et al. | 2014
- 303
-
Bounded Model Checking of Temporal Formulas with AlloyCunha, A. et al. | 2014
- 309
-
Formal Verification of OS Security Model with Alloy and Event-BDevyanin, P.N. / Khoroshilov, A.V. / Kuliamin, V.V. / Petrenko, A.K. / Shchepetkov, I.V. et al. | 2014
- 314
-
Detecting Network Policy Conflicts Using AlloyMaldonado-Lopez, F.A. / Chavarriaga, J. / Donoso, Y. et al. | 2014
- 318
-
Staged Evaluation of Partial Instances in a Relational Model FinderMontaghami, V. / Rayside, D. et al. | 2014
- 324
-
Domain-Specific Visualization of Alloy InstancesGammaitoni, L. / Kelsen, P. et al. | 2014
- 328
-
Optimizing Alloy for Multi-objective Software Product Line ConfigurationZulkoski, E. / Kleynhans, C. / Yee, M.-H. / Rayside, D. / Czarnecki, K. et al. | 2014