External and internal choice with event groups in Event-B

External and internal choice with event groups in Event-B

Bibliographic Details
Main Author:	Butler, Michael (Author)
Format:	Article
Language:	English
Published:	2012.
Subjects:	Article
Online Access:	Get fulltext

Similar Items

Language and tool support for event refinement structures in Event-B
by: Salehi Fathabadi, Asieh, et al.
Published: (2015)

Core Hybrid Event-B I: Single Hybrid Event-B machines
by: Banach, Richard, et al.
Published: (2015)

Decomposition Tool for Event-B
by: Silva, Renato, et al.
Published: (2011)

An incremental development of the Mondex system in Event-B
by: Butler, Michael, et al.
Published: (2008)

Incremental Database Design using UML-B and Event-B
by: Ahmed Al-Brashdi, et al.
Published: (2018-05-01)

A systematic approach to atomicity decomposition in Event-B
by: Salehi Fathabadi, Asieh, et al.
Published: (2012)

The Influence of Death Events on Consumer Choice
by: Bai-Huei Sun, et al.
Published: (2012)

Building traceable Event-B models from requirements
by: Alkhammash, Eman, et al.
Published: (2015)

Group Event Recommendation in Event-Based Social Networks Considering Unexperienced Events
by: Guoqiong Liao, et al.
Published: (2019-01-01)

The Internal and External Factors of Vocational Path Choice
by: Urbanavičiūtė, Ieva
Published: (2010)

Internal external locus of control and the choice of therapy
by: Eid, Marlene
Published: (1986)

Sport Events in a City – The Residents’ Choice
by: AP Calitz, et al.
Published: (2016-01-01)

Choices and affective reactions to negative life events
by: John J. Seta, et al.
Published: (2008-06-01)

Rodin: an open toolset for modelling and reasoning in Event-B
by: Abrial, Jean-Raymond, et al.
Published: (2010)

Internal and external signal processing in patients with panic disorder: An event-related potential (ERP) study.
by: Christian Valt, et al.
Published: (2018-01-01)

Evaluation of External and Internal Threats to Sanitary-Epidemiological Welfare of the Population in the Context of Mass Sporting Events
by: S. K. Udovichenko, et al.
Published: (2013-06-01)

Random and externally controlled occurrences of Dansgaard–Oeschger events
by: J. Lohmann, et al.
Published: (2018-05-01)

A semantics for groups and events /
by: Lasersohn, Peter Nathan
Published: (1988)

B cell antigen receptor signaling and internalization are mutually exclusive events.
by: Ping Hou, et al.
Published: (2006-07-01)

Inter-group relations in the context of policing foreign nationals at international football events
by: Brown, Elaine
Published: (2012)

Identification and Analysis of External Event Combinations for Hanhikivi 1 PRA
by: Juho Helander
Published: (2017-03-01)

The Impact of External Events on The Fee Income of Taiwan Commercial Banks
by: Ru-Shiuan Lin, et al.
Published: (2017)

Biological safety of public events: assessment of external epidemiological threat
by: D. V. Efremenko, et al.
Published: (2019-08-01)

Handling External Events Efficiently in Gillespie's Stochastic Simulation Algorithm
by: Geltz, Brad
Published: (2010)

The CHOICE (Choice of Health Options In prevention of Cardiovascular Events) replication trial: study protocol
by: Bauman Adrian, et al.
Published: (2008-10-01)

A fuzzy credibility model to estimate the Operational Value at Risk using internal and external data of risk events
by: Alejandro Patiño, H., et al.
Published: (2018)

The role of internal and external factors on management students’ subject choices
by: David AL Coldwell, et al.
Published: (2013-09-01)

The relative importance of internal and external information in consumer choice environments
by: Hulland, John S
Published: (2005)

Influence of extrinsic factors on consumers' choice at segmented wine events
by: Nacka Marina, et al.
Published: (2019-01-01)

Thematic grouping for messages in major events
by: Wallace Pinheiro, et al.
Published: (2016-01-01)

Thematic grouping for messages in major events
by: Wallace Pinheiro, et al.
Published: (2016-01-01)

Effects of randomization of event sequences in two choice probability learning.
by: Jones, Mari Riess
Published: (1965)

Group at an unknown Freedom House event.
Published: ()

Group at an unknown Freedom House event.
Published: ()

A study on the important events in group counseling process: Interns’ perspectives of counseling psychology
by: Hsin-hsien Lin, et al.
Published: (2010)

5° INTBAU International Annual Event
by: Giampiero Mele
Published: (2018-06-01)

International Sport Events: Improving Marketing
by: Margarita Kerzaitė, et al.
Published: (2014-04-01)

Language Management International Sport Events
by: Hsiao - Hui Hung, et al.
Published: (2013)

Rapid Affective Processing Event-Related Potentials and Externalizing Psychopathology Correlates

Advanced Reactor Passive System Reliability Demonstration Analysis for an External Event
by: Matthew Bucknor, et al.
Published: (2017-03-01)