Deploy Repository: No conditions. Results ordered -Date.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:24:08 +0000Wed, 17 Jan 2018 12:24:08 +0000en Mathematical Language of Event-B Proofs
http://deploy-eprints.ecs.soton.ac.uk/464/
Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive] Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic
http://deploy-eprints.ecs.soton.ac.uk/331/
Varpaaniemi, Kimmo (2011) Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic. [Rodin Archive] Event-B Project BepiColombo_Models_v6.4
http://deploy-eprints.ecs.soton.ac.uk/244/
Varpaaniemi, Kimmo (2010) Event-B Project BepiColombo_Models_v6.4. [Rodin Archive] Event-B Project DepSatSpec015Model000
http://deploy-eprints.ecs.soton.ac.uk/168/
Varpaaniemi, Kimmo (2010) Event-B Project DepSatSpec015Model000. [Rodin Archive] An Event-B model of the Attitude and Orbit Control System
http://deploy-eprints.ecs.soton.ac.uk/213/
Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena (2010) An Event-B model of the Attitude and Orbit Control System. [Rodin Archive] Event-B Project Modes_v2
http://deploy-eprints.ecs.soton.ac.uk/165/
Laibinis, Linas and Troubitsyna, Elena (2009) Event-B Project Modes_v2. [Rodin Archive] Event-B Project BepiColombo_Models_v5.0
http://deploy-eprints.ecs.soton.ac.uk/136/
Ilic, Dubravka and Varpaaniemi, Kimmo (2009) Event-B Project BepiColombo_Models_v5.0. [Rodin Archive] Language and Tool Support for Class and State Machine Refinement in UML-B
http://deploy-eprints.ecs.soton.ac.uk/95/
Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. [Rodin Archive] Development of a Network Topology Discovery Algorithm
http://deploy-eprints.ecs.soton.ac.uk/82/
Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2009) Development of a Network Topology Discovery Algorithm. [Rodin Archive] Bosch switch mini-pilot
http://deploy-eprints.ecs.soton.ac.uk/63/
Butler, Michael (2009) Bosch switch mini-pilot. [Rodin Archive] A Code Generation Example for Event-B: A Shared Channel with Concurrent Read/Writers
http://deploy-eprints.ecs.soton.ac.uk/143/
Edmunds, Andrew and Butler, Michael (2009) A Code Generation Example for Event-B: A Shared Channel with Concurrent Read/Writers. [Rodin Archive] Link State Routing Development
http://deploy-eprints.ecs.soton.ac.uk/31/
Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive] RODIN platform archive of SSF pilot (by SSF)
http://deploy-eprints.ecs.soton.ac.uk/73/
Ilic, Dubravka and Varpaaniemi, Kimmo (2008) RODIN platform archive of SSF pilot (by SSF). [Rodin Archive] UML-B Version of SSF Mini-pilot
http://deploy-eprints.ecs.soton.ac.uk/57/
Butler, Michael (2008) UML-B Version of SSF Mini-pilot. [Rodin Archive] Redevelopment of an Industrial Case Study Using Event-B and Rodin
http://deploy-eprints.ecs.soton.ac.uk/9/
Rezazadeh, Abdolbaghi and Butler, Michael and Evans, Neil (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin. [Rodin Archive] (In Press) New Event-B Project for SSF Pilot
http://deploy-eprints.ecs.soton.ac.uk/58/
Laibinis, Linas New Event-B Project for SSF Pilot. [Rodin Archive] (Unpublished) Event-B Project SSF Mini-pilot
http://deploy-eprints.ecs.soton.ac.uk/59/
Iliasov, Alexei Event-B Project SSF Mini-pilot. [Rodin Archive] Training material: A Simple Lyra Project
http://deploy-eprints.ecs.soton.ac.uk/61/
Laibinis, Linas and Troubitsyna, Elena Training material: A Simple Lyra Project. [Rodin Archive] Event-B Project SSF Mini-pilot (Aabo)
http://deploy-eprints.ecs.soton.ac.uk/62/
Laibinis, Linas and Troubitsyna, Elena Event-B Project SSF Mini-pilot (Aabo). [Rodin Archive] Event-B Models BepiColombo pilot (by SSF)
http://deploy-eprints.ecs.soton.ac.uk/77/
Ilic, Dubravka and Varpaaniemi, Kimmo Event-B Models BepiColombo pilot (by SSF). [Rodin Archive] Development of Question/Response Protocol with using pattern approach
http://deploy-eprints.ecs.soton.ac.uk/230/
Hoang, Thai Son Development of Question/Response Protocol with using pattern approach. [Rodin Archive] Event-B model of the Buyer / Seller B2B Communication
http://deploy-eprints.ecs.soton.ac.uk/128/
Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive] Event-B model of the Order/Supply Chain A2A Communication
http://deploy-eprints.ecs.soton.ac.uk/129/
Fürst, Andreas Event-B model of the Order/Supply Chain A2A Communication. [Rodin Archive] Doing Mathematics with the Rodin Platform
http://deploy-eprints.ecs.soton.ac.uk/138/
Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive] A-Style Decomposition Examples
http://deploy-eprints.ecs.soton.ac.uk/139/
Pascal, Carine A-Style Decomposition Examples. [Rodin Archive] Proof Assisted Model Checking for B
http://deploy-eprints.ecs.soton.ac.uk/152/
Bendisposto, Jens and Leuschel, Michael Proof Assisted Model Checking for B. [Rodin Archive] Structured Event-B Models and Proofs
http://deploy-eprints.ecs.soton.ac.uk/229/
Hallerstede, Stefan Structured Event-B Models and Proofs. [Rodin Archive] FindP Development using Decomposition
http://deploy-eprints.ecs.soton.ac.uk/208/
Hoang, Thai Son FindP Development using Decomposition. [Rodin Archive] Specification of the Dining Cryptographers problem
http://deploy-eprints.ecs.soton.ac.uk/215/
Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive] An Incremental Refinement Approach to a Development of Flash File System in Event-B
http://deploy-eprints.ecs.soton.ac.uk/243/
Damchoom, Kriangsak An Incremental Refinement Approach to a Development of Flash File System in Event-B. [Rodin Archive] Develpoment of the Floodset algorithm
http://deploy-eprints.ecs.soton.ac.uk/286/
Bryans, Jeremy W. Develpoment of the Floodset algorithm. [Rodin Archive] Response Coalition Normative
http://deploy-eprints.ecs.soton.ac.uk/300/
Bryans, Jeremy W. Response Coalition Normative. [Rodin Archive] Responsive Coalition Perturbed
http://deploy-eprints.ecs.soton.ac.uk/301/
Bryans, Jeremy W. Responsive Coalition Perturbed. [Rodin Archive] Development of a Signal Control System
http://deploy-eprints.ecs.soton.ac.uk/308/
Hudon, Simon and Hoang, Thai Son Development of a Signal Control System. [Rodin Archive] Duelling Cowboys development (qualitative reasoning)
http://deploy-eprints.ecs.soton.ac.uk/357/
Hoang, Thai Son Duelling Cowboys development (qualitative reasoning). [Rodin Archive] Rabin's Choice Coordination Development (qualitative reasoning)
http://deploy-eprints.ecs.soton.ac.uk/358/
Yilmaz, Emre and Hoang, Thai Son Rabin's Choice Coordination Development (qualitative reasoning). [Rodin Archive] Herman's probabilistic self-stabilization development (qualitative reasoning)
http://deploy-eprints.ecs.soton.ac.uk/359/
Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive] Proof of correctness for interface instantiation
http://deploy-eprints.ecs.soton.ac.uk/364/
Hoang, Thai Son Proof of correctness for interface instantiation. [Rodin Archive] A Club Management System
http://deploy-eprints.ecs.soton.ac.uk/371/
Hoang, Thai Son A Club Management System. [Rodin Archive]