Results
Found 618 publication records. Showing 618 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
5 | Matthias Schmalz |
Formalizing the logic of event-B: Partial functions, definitional extensions, and automated theorem proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
5 | Jean-Paul Bodeveix, Mamoun Filali |
Event B Development of a Synchronous AADL Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B@FM ![In: Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, June 21, 2011, pp. 23-33, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Dipak L. Chaudhari, Om P. Damani |
Generating Hierarchical State Based Representation From Event-B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B@FM ![In: Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, June 21, 2011, pp. 35-46, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Renato Silva |
Towards the Composition of Specifications in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B@FM ![In: Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, June 21, 2011, pp. 81-93, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
Bounded Retransmission in Event-B∥CSP: a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B@FM ![In: Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, June 21, 2011, pp. 69-80, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Atif Mashkoor, Jean-Pierre Jacquot |
Utilizing Event-B for domain engineering: a critical analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 16(3), pp. 191-207, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Amjad Gawanmeh |
Embedding and Verification of ZigBee Protocol Stack in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/MobiWIS ![In: Proceedings of the 2nd International Conference on Ambient Systems, Networks and Technologies (ANT 2011), the 8th International Conference on Mobile Web Information Systems (MobiWIS-2011), Niagara Falls, Ontario, Canada, September 19-21, 2011, pp. 736-741, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Aryldo G. Russo |
Modeling in event-b - system and software engineering by Jean-Raymond Abrial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 36(2), pp. 38-39, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Mohammad Reza Sarshogh, Michael J. Butler |
Specification and refinement of discrete timing properties in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei 0015 |
A Survey on Event-B Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén |
Concurrent Scheduling of Event-B Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 166-182, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
A CSP Account of Event-B Refinement ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., pp. 139-154, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Abderrahman Matoussi, Régine Laleau |
Un outil de construction de spécifications abstraites Event-B dirigée par les buts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ingénierie des Systèmes d Inf. ![In: Ingénierie des Systèmes d Inf. 16(5), pp. 143-166, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Richard Banach |
Review of Modeling in Event-B: System and Sofware Engineering, 1st edition, by Jean-Raymond Abrial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 21(2), pp. 403-404, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Stephen Wright, Kerstin Eder |
Using Event-B to construct instruction set architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 23(1), pp. 73-89, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Stefan Hallerstede |
On the purpose of Event-B proof obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 23(1), pp. 133-150, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Richard Banach |
Retrenchment for Event-B: UseCase-wise development and Rodin integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 23(1), pp. 113-131, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Renato Silva, Carine Pascal, Thai Son Hoang, Michael J. Butler |
Decomposition tool for event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 41(2), pp. 199-208, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Atif Mashkoor, Jean-Pierre Jacquot |
Guidelines for Formal Domain Modeling in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011, pp. 138-145, 2011, IEEE Computer Society, 978-1-4673-0107-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Jianwen Li, Zheng Wang 0005, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu 0006 |
An Event-B Interpretation for SPARDL Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011, pp. 41-48, 2011, IEEE Computer Society, 978-1-4673-0107-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Thai Son Hoang, Jean-Raymond Abrial |
Reasoning about Liveness Properties in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings, pp. 456-471, 2011, Springer, 978-3-642-24558-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky |
Formal Derivation of a Distributed Program in Event B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings, pp. 420-436, 2011, Springer, 978-3-642-24558-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Dominique Méry, Neeraj Kumar Singh 0001 |
Analysis of DSR Protocol in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings, pp. 401-415, 2011, Springer, 978-3-642-24549-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Dominique Méry, Neeraj Kumar Singh 0001 |
Automatic code generation from event-B models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoICT ![In: Proceedings of the 2011 Symposium on Information and Communication Technology, SoICT 2011, Hanoi, Viet Nam, October 13-14, 2011, pp. 179-188, 2011, ACM, 978-1-4503-0880-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Sergey Ostroumov, Leonidas Tsiopoulos |
VHDL Code Generation from Formal Event-B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland, pp. 127-134, 2011, IEEE Computer Society, 978-1-4577-1048-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Hao Xu, Tom Maibaum |
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FHIES ![In: Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers, pp. 160-176, 2011, Springer, 978-3-642-32354-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Alexei Iliasov |
Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERENE ![In: Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings, pp. 9-23, 2011, Springer, 978-3-642-24123-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Quantitative Verification of System Safety in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERENE ![In: Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings, pp. 24-39, 2011, Springer, 978-3-642-24123-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose |
Towards Search-Based Testing for Event-B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, pp. 194-197, 2011, IEEE Computer Society, 978-0-7695-4345-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur |
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDI ![In: Model and Data Engineering - First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings, pp. 200-213, 2011, Springer, 978-3-642-24442-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul |
Verifying Composite Service Transactional Behavior with EVENT-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), Beijing, China, October 24-26, 2011, pp. 99-106, 2011, IEEE Computer Society, 978-1-4577-1323-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Ali Gondal, Michael Poppleton, Michael J. Butler |
Composing Event-B Specifications - Case-Study Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@TOOLS ![In: Software Composition - 10th International Conference, SC@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings, pp. 100-115, 2011, Springer, 978-3-642-22044-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul |
Verifying Composite Service Transactional Behavior with EVENT-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA ![In: Software Architecture - 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings, pp. 67-74, 2011, Springer, 978-3-642-23797-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Michael J. Butler |
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pp. 328-342, 2011, Springer, 978-3-642-20397-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Faqing Yang, Jean-Pierre Jacquot |
Scaling Up with Event-B: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pp. 438-452, 2011, Springer, 978-3-642-20397-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Abderrahman Matoussi, Régine Laleau |
Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B . ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORSID ![In: Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, pp. 301-316, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
5 | Christophe Ponsard, Xavier Devroey |
Generating High-Level Event-B System Models from KAOS Requirements Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORSID ![In: Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, pp. 317-332, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
5 | Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose |
Test Data Generation for Event-B Models Using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSECS (3) ![In: Software Engineering and Computer Systems - Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III, pp. 76-90, 2011, Springer, 978-3-642-22202-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Abderrahman Matoussi, Frédéric Gervais, Régine Laleau |
A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011, pp. 139-148, 2011, IEEE Computer Society, 978-0-7695-4381-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Jens Bendisposto, Michael Leuschel |
Automatic Flow Analysis for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 50-64, 2011, Springer, 978-3-642-19810-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
5 | Joris Rehm |
Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 12(1), pp. 39-51, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin |
Rodin: an open toolset for modelling and reasoning in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 12(6), pp. 447-466, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Emre Yilmaz, Thai Son Hoang |
Development of Rabin's Choice Coordination Algorithm in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Leila Ribeiro 0001, Fernando Luís Dotti, Simone André da Costa, Fabiane Cristine Dillenburg |
Towards Theorem Proving Graph Grammars using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Jean-Raymond Abrial |
Modeling in Event-B - System and Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
DOI RDF |
|
5 | Samah Hassan, Mohamed Taher, Ayman M. Wahba |
Mapping SMV models to event-B models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDT ![In: 5th International Design and Test Workshop, IDT 2010, Abu Dhabi, UAE, 14-15 December 2010, pp. 161-166, 2010, IEEE, 978-1-61284-291-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Raghuraj Suryavanshi, Divakar Yadav |
Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDEM ![In: Data Engineering and Management - Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers, pp. 317-324, 2010, Springer, 978-3-642-27871-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Girish Chandra, Divakar Yadav |
Analyzing Data Flow in Trustworthy Electronic Payment Systems Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDEM ![In: Data Engineering and Management - Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers, pp. 325-332, 2010, Springer, 978-3-642-27871-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Atif Mashkoor, Jean-Pierre Jacquot |
Domain Engineering with Event-B: Some Lessons We Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27 - October 1, 2010, pp. 252-261, 2010, IEEE Computer Society, 978-0-7695-4162-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
Developing Mode-Rich Satellite Software by Refinement in Event B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, pp. 50-66, 2010, Springer, 978-3-642-15897-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Jeremy W. Bryans, Wei Wei 0015 |
Formal Analysis of BPMN Models Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, pp. 33-49, 2010, Springer, 978-3-642-15897-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Thai Son Hoang, Jean-Raymond Abrial |
Event-B Decomposition for Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 319-333, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Stefan Hallerstede, Michael Leuschel, Daniel Plagge |
Refinement-Animation for Event-B - Towards a Method of Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 287-301, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Stefan Hallerstede |
Structured Event-B Models and Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 273-286, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
Supporting Reuse in Event B Development: Modularisation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 174-188, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh |
On an Extensible Rule-Based Prover for Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 407, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix |
Using Event-B to Verify the Kmelia Components and Their Assemblies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 410, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Jennifer Sorge, Michael Poppleton, Michael J. Butler |
A Basis for Feature-Oriented Modelling in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 409, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson |
An Event-B Approach to Data Sharing Agreements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 28-42, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau |
Systematic Translation Rules from astd to Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 245-259, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
Towards Probabilistic Modelling in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 275-289, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Pontus Boström |
Creating Sequential Programs from Event-B Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 74-88, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
A CSP Approach to Control in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, pp. 260-274, 2010, Springer, 978-3-642-16264-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Specification and Verification of Workflow Applications using a Combination of UML Activity Diagrams and Event B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (2) ![In: ICSOFT 2010 - Proceedings of the Fifth International Conference on Software and Data Technologies, Volume 2, Athens, Greece, July 22-24, 2010, pp. 312-316, 2010, SciTePress, 978-989-8425-23-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
5 | Nilima Fulmare, Divakar Yadav |
Rigorous analysis of byzantine causal order using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWET ![In: Proceedings of the ICWET '10 International Conference & Workshop on Emerging Trends in Technology, Mumbai, Maharashtra, India, February 26 - 27, 2010, pp. 723-726, 2010, ACM, 978-1-60558-812-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Hafid Belhaj, Youssef Balouki, Mohamed Bouhdadi, Said El Hajji 0001 |
Using Event B to Specify QoS in ODP Enterprise Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRO-VE ![In: Collaborative Networks for a Sustainable World - 11th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2010, St. Etienne, France, October 11-13, 2010. Proceedings, pp. 478-485, 2010, Springer, 978-3-642-15960-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
5 | Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh |
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings, pp. 182-191, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
5 | Kriangsak Damchoom |
An incremental refinement approach to a development of a flash-based file system in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
5 | Andrew Edmunds |
Providing concurrent implementations for Event-B developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
5 | John Colley |
Guarded atomic actions and refinement in a system-on-chip development flow : bridging the specification gap with Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
5 | Tossaporn Joochim |
Bringing requirements engineering to formal methods : timing diagrams for Event-B and KAOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
5 | Nazim Benaïssa |
La composition des protocoles de sécurité avec la méthode B événementielle. (Security protocols composition using Event B). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
5 | Stefan Hallerstede |
Proving Quicksort Correct in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@FMWeek ![In: Proceedings of the 14th BCS-FACS Refinement Workshop, REFINE@FMWeek 2009, Eindhoven, The Netherlands, November 2009, pp. 47-65, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Leila Jemni Ben Ayed, Fatma Siala |
Event-B based Verification of Interaction Properties In Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 4(4), pp. 357-364, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
Developing topology discovery in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 74(11-12), pp. 879-899, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Leila Jemni Ben Ayed, Ahlem Ben Younes |
Modeling and Verification of Reactive Systems Using STATEMATE and Event B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Their Appl. ![In: Int. J. Comput. Their Appl. 16(4), pp. 200-219, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
5 | Nazim Benaïssa, Dominique Méry |
Cryptographic Protocols Analysis in Event B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers, pp. 282-293, 2009, Springer, 978-3-642-11485-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERVICES I ![In: 2009 IEEE Congress on Services, Part I, SERVICES I 2009, Los Angeles, CA, USA, July 6-10, 2009, pp. 330-333, 2009, IEEE Computer Society, 978-0-7695-3708-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Lukas Ladenberger, Jens Bendisposto, Michael Leuschel |
Visualising Event-B Models with B-Motion Studio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, pp. 202-204, 2009, Springer, 978-3-642-04569-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Asieh Salehi Fathabadi, Michael J. Butler |
Applying Event-B Atomicity Decomposition to a Multi Media Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, pp. 89-104, 2009, Springer, 978-3-642-17070-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Iman Poernomo, Timur Umarov |
A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEE-SET ![In: Advances in Software Engineering Techniques - 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers, pp. 136-149, 2009, Springer, 978-3-642-28037-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Benjamin Aziz, Alvaro Arenas, Juan Bicarregui, Christophe Ponsard, Philippe Massonet |
From Goal-Oriented Requirements to Event-B Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009., pp. 96-105, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
5 | Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi |
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009, pp. 119-124, 2009, INSTICC PRESS, 978-989-8111-90-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
5 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009, pp. 149-155, 2009, INSTICC PRESS, 978-989-8111-90-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
5 | Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen 0001 |
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 201-209, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial |
Event-B Patterns and Their Tool Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 210-219, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Andrew Edmunds, Michael J. Butler |
Linking Event-B and Concurrent Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 159-182, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Neil Evans |
Refinement for Pipelining in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@FM ![In: Proceedings of the 13th BAC-FACS Refinement Workshop, Refine@FM 2008, Turku, Finland, May 27, 2008, pp. 183-202, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia |
La validation de modèles Event-B avec le plug-in ProB pour RODIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tech. Sci. Informatiques ![In: Tech. Sci. Informatiques 27(8), pp. 1065-1084, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Paulo J. Matos, João Marques-Silva 0001 |
Model Checking Event-B by Encoding into Alloy ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0805.3256, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
5 | Jean-Raymond Abrial, Thai Son Hoang |
Using Design Patterns in Formal Methods: An Event-B Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, pp. 1-2, 2008, Springer, 978-3-540-85761-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Idir Aït-Sadoune, Yamine Aït Ameur |
Verification and Validation of Web Service Composition Using Event B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 339-340, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Stefan Hallerstede |
Incremental System Modelling in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures, pp. 139-158, 2008, Springer, 978-3-642-04166-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Leila Jemni Ben Ayed, Fatma Siala |
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSVVEIS ![In: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pp. 190-198, 2008, INSTICC PRESS, 978-989-8111-43-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
5 | Elisabeth Ball |
An incremental process for the development of multi-agent systems in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
5 | Jean-Raymond Abrial, Stefan Hallerstede |
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 77(1-2), pp. 1-28, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
5 | Neil Evans, Neil Grant |
Towards the Formal Verification of a Java Processor in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 45-67, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
5 | Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur |
Formal Validation of Java/Swing User Interfaces with the Event B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 1062-1071, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Method B, CTT, User Interface, Formal Methods, Static Analysis, Validation, Tasks Model |
5 | Joris Rehm, Dominique Cansell |
Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007, pp. 179-190, 2007, Cépaduès-Éditions, 978-2-85428-814-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
5 | Neil Grant, Neil Evans |
Towards the Formal Verification of a Java Processor in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007, pp. 425-442, 2007, IOS Press, 978-1-58603-767-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
Displaying result #501 - #600 of 618 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |