|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 140 occurrences of 83 keywords
|
|
|
|
|
Results
Found 618 publication records. Showing 618 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 5 | Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler |
Formal Verification of Run-to-Completion Style Statecharts Using Event-B.  |
ECSA Companion  |
2020 |
DBLP DOI BibTeX RDF |
|
| 5 | Sebastián Vergara, Laura González 0001, Raúl Ruggia |
Towards Formalizing Microservices Architectural Patterns with Event-B. |
ICSA Companion |
2020 |
DBLP DOI BibTeX RDF |
|
| 5 | Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin 0001 |
An Event-B Based Approach for Formal Modelling and Verification of Smart Contracts. |
AINA |
2020 |
DBLP DOI BibTeX RDF |
|
| 5 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
| 5 | James Snook |
Constructing a new language to facilitate mathematical proofs in the Event-B context |
|
2020 |
RDF |
|
| 5 | Chenyang Zhu 0001 |
Formal treatment of real-time properties in Event-B |
|
2020 |
RDF |
|
| 5 | Ahmed Al-Brashdi |
Incremental and rigorous database design and code generation using UML-B and event-B |
|
2020 |
RDF |
|
| 5 | Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix |
Introducing probabilistic reasoning within Event-B. |
Softw. Syst. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. |
J. Commun. |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Chunyan Fu, Kougen Zheng |
Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B. |
Int. J. Softw. Tools Technol. Transf. |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Giles Howard, Michael J. Butler, John Colley, Vladimiro Sassone |
A methodology for assuring the safety and security of critical infrastructure based on STPA and Event-B. |
Int. J. Crit. Comput. Based Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
Consistency-preserving refactoring of refinement structures in Event-B models. |
Formal Aspects Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean |
Automating Event-B invariant proofs by rippling and proof patching. |
Formal Aspects Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Han Peng, Chenglie Du, Lei Rao, Zhouzhou Liu |
LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns. |
J. Inf. Process. Syst. |
2019 |
DBLP BibTeX RDF |
|
| 5 | Mathieu Comptier, Michael Leuschel, Luis-Fernando Mejia, Julien Molinero Perez, Mareike Mutz |
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B. |
RSSRail |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Robert Eschbach |
Industrial Application of Event-B to a Wayside Train Monitoring System: Formal Conceptual Data Analysis. |
FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
Towards a Method for the Decomposition by Refinement in Event-B. |
FM Workshops (2) |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Mohammadsadegh Dalvandi, Michael J. Butler, Asieh Salehi Fathabadi |
SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B. |
FM Workshops (1) |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Idir Aït-Sadoune, Linda Mohand-Oussaïd |
Building Formal Semantic Domain Model: An Event-B Based Approach. |
MEDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Ben Ayed, Mayssa Bessifi |
From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications. |
COMPSAC (2) |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Mohammadsadegh Dalvandi, Brijesh Dongol |
Towards deductive verification of C11 programs with Event-B and ProB. |
FTfJP@ECOOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Guoteng Pan, Mengjun Li, Guodong Ou |
Modeling and Reasoning Event-B Models Based on Mathematica. |
Internetware |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Néstor Cataño |
Teaching Formal Methods: Lessons Learnt from Using Event-B. |
FMTea |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Suphattra Kaewopchoei, Wiwat Vatanawood |
Transformation of Bounded Timed Petri Nets into Event-B. |
SNPD |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
Event-B Decomposition Analysis for Systems Behavior Modeling. |
ICSOFT |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Laura González 0001, Raúl Ruggia |
Formalizing a Policy-based Compliance Control Solution with Event-B. |
ICSOFT |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Emna Chebbi, Patrick Sondi, Éric Ramat |
A Formal Model for the Chain-Branch-Leaf Clustering Scheme in OLSR based Vehicular Ad hoc Networks using Event-B. |
ANT/EDI40 |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul |
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. |
ICDEc |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
| 5 | Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop |
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. |
Comput. Lang. Syst. Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Pascal André, J. Christian Attiogbé, Arnaud Lanoix |
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 5 | Han Peng, Chenglie Du, Lei Rao, Fu Chen |
A LTS Approach to Control in Event-B. |
Sci. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Richard Banach |
Modelling, formal refinement and partitioning strategies for a small aircraft fuel pump system in Hybrid Event-B. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Ivaylo Dobrikov, Michael Leuschel |
Enabling analysis for Event-B. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Marius Brezovan, Costin Badica |
Using the Event-B Formal Method and the Rodin Framework for Verification the Knowledge Base of an Rule-Based Expert System. |
Synergies Between Knowledge Engineering and Software Engineering |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Tsutomu Kobayashi, Fuyuki Ishikawa |
Analysis on Strategies of Superposition Refinement of Event-B Specifications. |
ICFEM |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Victor Rivera, Jooyoung Lee, Manuel Mazzara |
Mapping Event-B Machines into Eiffel Programming Language. |
SEDA |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe 0001, Felician Campean |
Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. |
HPCC/SmartCity/DSS |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani |
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. |
MEDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Syrine Aouadi, Arnaud Lanoix |
Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. |
MEDI Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Sabrine Ammar, Mohamed Tahar Bhiri |
Automatic Planning: From Event-B to PDDL. |
MEDI Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Pascal André, J. Christian Attiogbé, Arnaud Lanoix |
Systematic Construction of Critical Embedded Systems Using Event-B. |
MEDI Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Klaus-Dieter Schewe |
Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. |
MEDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua |
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. |
MEDI Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist. |
MEDI Workshops |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Aida Lahouij, Lazhar Hamel, Mohamed Graiet |
Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. |
OTM Conferences (1) |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Irum Rauf, Inna Vistbakka, Elena Troubitsyna |
Formal Verification of Stateful Services with REST APIs Using Event-B. |
ICWS |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Sheng-rong Zou, Chen Wang, Si-ping Jiang, Li Chen |
Comparison of Event-B and B Method: Application in Immune System. |
ICSI (1) |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Michael Leuschel |
Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk). |
SETS@ABZ |
2018 |
DBLP BibTeX RDF |
|
| 5 | Jean-Raymond Abrial |
The ABZ-2018 Case Study with Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Wen Su, Jinxin Chen, Shehroz Khan 0002 |
Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh 0001, Laurent Voisin |
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier |
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi |
Verifiable Code Generation from Scheduled Event-B Models. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Inna Vistbakka, Mikhail Barash, Elena Troubitsyna |
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001 |
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau |
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Jean-Raymond Abrial |
On B and Event-B: Principles, Success and Challenges. |
ABZ |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem |
Translation of UML Models for Self-adaptive Systems into Event-B Specifications. |
ISDA (2) |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Philipp Körner, Michael Leuschel, Jeroen Meijer |
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. |
IFM |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Chalika Saksupawattanakul, Wiwat Vatanawood |
Event-B Formalization of Basic Supply Chain Patterns. |
SNPD |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Anasuya Chaudhuri, Shreya Banerjee 0002, Anirban Sarkar 0002 |
Behavioral Analysis of Service Oriented Systems Using Event-B. |
CISIM |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | J. Christian Attiogbé |
Building Correct SDN Components from a Global Event-B Formal Model. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali |
Event-B Formalization of a Variability-Aware Component Model Patterns Framework. |
FACS |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Abdessamad Jarrar, Youssef Balouki |
Formal Reasoning for Air Traffic Control System Using Event-B Method. |
ICCSA (2) |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | James Snook, Michael J. Butler, Thai Son Hoang |
Developing A New Language to Construct Algebraic Hierarchies for Event-B. |
SETTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Ammar Alhaj Ali, Roman Jasek, Said Krayem, Bronislav Chramcov, Petr Zacek |
Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B. |
CSOC (3) |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Abderrahim Ait Wakrime, J. Paul Gibson, Jean-Luc Raffy |
Formalising the Requirements of an E-Voting Software Product Line Using Event-B. |
WETICE |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea |
Semantics of Real-Time Trigger-Response Properties in Event-B. |
TASE |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor |
Scalable Correct-by-Construction Conversation Protocols with Event-B: Validation, Experiments and Benchmarks. |
ICECCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 5 | Ivaylo Miroslavov Dobrikov |
Improving Explicit-State Model Checking for B and Event-B. |
|
2018 |
RDF |
|
| 5 | Fatma Dhaou |
Vérification formelle de la relation de raffinement des diagrammes de séquences d'UML2.X avec la méthode formelle B événementiel. (Formal checking of refinement relation of UML2.X sequence diagram with Event-B method). |
|
2018 |
RDF |
|
| 5 | Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot |
Refinement-based Validation of Event-B Specifications. |
Softw. Syst. Model. |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Guillaume Babin, Yamine Aït Ameur, Marc Pantel |
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal Method. |
IEEE Trans. Serv. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Thiago C. de Sousa, Luciano Kelvin, Constantino D. Neto, Carlos Giovanni Nunes de Carvalho |
A Formal Semantics for Use Case Diagram Via Event-B. |
J. Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Wen Su, Jean-Raymond Abrial |
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system. |
Int. J. Softw. Tools Technol. Transf. |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Richard Banach |
The landing gear system in multi-machine Hybrid Event-B. |
Int. J. Softw. Tools Technol. Transf. |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Amel Mammar, Régine Laleau |
Modeling a landing gear system in Event-B. |
Int. J. Softw. Tools Technol. Transf. |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Victor Rivera, Néstor Cataño, Tim Wahls, Camilo Rueda |
Code generation for Event-B. |
Int. J. Softw. Tools Technol. Transf. |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Inna Vistbakka, Elena Troubitsyna |
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Ahmed Al-Brashdi, Michael J. Butler, Abdolbaghi Rezazadeh |
Incremental Database Design using UML-B and Event-B. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd |
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Victor Rivera, Jooyoung Lee, Manuel Mazzara, Leonard Johard |
Translating Event-B machines to Eiffel programs. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 5 | J. Paul Gibson, Dominique Méry |
Explicit Modelling of Physical Measures: From Event-B to Java. |
IMPEX/FM&MDD |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Usman Sanwal, Luigia Petre, Ion Petre |
Stepwise construction of a metabolic network in Event-B: The heat shock response. |
Comput. Biol. Medicine |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Karima Belgharbi, Mahmoud Boufaïda |
Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments. |
Int. J. Ambient Comput. Intell. |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh |
Derivation of algorithmic control structures in Event-B refinement. |
Sci. Comput. Program. |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Marie Farrell, Rosemary Monahan, James F. Power |
Combining Event-B and CSP: An Institution Theoretic Approach to Interoperability. |
ICFEM |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri |
Automatic Refinement for Event-B through Annotated Patterns. |
PDP |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier |
Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. |
RSSRail |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden |
Extracting Traceability between Predicates in Event-B Refinement. |
APSEC |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Souad Kherroubi, Dominique Méry |
Contextualization and Dependency in State-Based Modelling - Application to Event-B. |
MEDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Linda Mohand-Oussaïd, Idir Aït-Sadoune |
Formal Modelling of Domain Constraints in Event-B. |
MEDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Yousra Bendaly Hlaoui, Ahlem Ben Younes, Leila Jemni Ben Ayed, Manel Fathalli |
From Sequence Diagrams to Event B: A Specification and Verification Approach of Flexible Workflow Applications of Cloud Services Based on Meta-model Transformation. |
COMPSAC (2) |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Jie Liu 0013, Jing Liu 0012, Miaomiao Zhang, Haiying Sun, Xiaohong Chen 0007, Dehui Du, Mingsong Chen |
An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. |
COMPSAC (1) |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Qi Zhang, Zhiqiu Huang, Jian Xie 0004 |
Distributed System Model Using SysML and Event-B. |
MLICOM (1) |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Daichi Morita, Fuyuki Ishikawa, Shinichi Honiden |
Construction of Abstract State Graphs for Understanding Event-B Models. |
SETTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Mojgan Kamali, Luigia Petre |
Uppaal vs Event-B for Modelling Optimised Link State Routing. |
VECoS |
2017 |
DBLP DOI BibTeX RDF |
|
| 5 | Arnaud Dieumegard, Ning Ge 0002, Eric Jenn |
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 618 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license