Modeling in Event-B -System and Software Engineering, p.9781139195881, 2010. ,
Rodin: an open toolset for modelling and reasoning in Event-B, International Journal on Software Tools for Technology Transfer, vol.15, issue.1, pp.447-466, 2010. ,
DOI : 10.1007/978-3-642-18216-7
URL : https://eprints.soton.ac.uk/271058/1/main.pdf
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam, Inf, vol.77, issue.12, pp.1-28, 2007. ,
Object-oriented units of measurement, ACM SIGPLAN Notices, vol.39, issue.10, pp.384-40310, 2004. ,
DOI : 10.1145/1035292.1029008
URL : http://pag.csail.mit.edu/reading-group/allen04measurement.pdf
The Landing Gear System Case Study, pp.1-18, 2014. ,
DOI : 10.1007/978-3-319-07512-9_1
Safety-critical systems, formal methods and standards, Software Engineering Journal, vol.8, issue.4, pp.189-209, 1993. ,
DOI : 10.1049/sej.1993.0025
URL : http://www.museophile.sbu.ac.uk/pub/jpb/sfs-sej.pdf
The Boost interval arithmetic library, Real Numbers and Computers, pp.65-80, 2003. ,
A model-driven approach to automatic conversion of physical units, Software: Practice and Experience, vol.359, issue.4, pp.337-359, 2008. ,
DOI : 10.1093/comjnl/26.4.366
Is the Java type system sound?, Theory and Practice of Object Systems, vol.115, issue.1, pp.3-24, 1999. ,
DOI : 10.1006/inco.1994.1093
URL : http://www.cis.upenn.edu/~bcpierce/fool/drossopoulou.ps.gz
Ontology matching, 2007. ,
DOI : 10.1007/978-3-642-38721-0
URL : https://hal.archives-ouvertes.fr/hal-00922291
Formal Object Oriented Development of a Voting System Test Oracle, Innovations in Systems and Software Engineering (Special issue UML-FM11), pp.237-24510, 2011. ,
DOI : 10.1007/s11334-011-0167-y
URL : https://hal.archives-ouvertes.fr/hal-00670282
Chaos: Making a new science Open Road Media, 2011. ,
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991. ,
DOI : 10.1145/103162.103163
Interval arithmetic: From principles to implementation, Journal of the ACM, vol.48, issue.5, pp.1038-106810, 2001. ,
DOI : 10.1145/502102.502106
URL : http://webhome.cs.uvic.ca/~vanemden/Publications/hickeyJuvE.pdf
Theory Plug-in for Rodin 3.x. CoRR abs/1701.08625, 2017. ,
Osprey, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.262-271, 2006. ,
DOI : 10.1145/1134285.1134323
Interval computations: Introduction, uses, and resources, Euromath Bulletin, vol.2, issue.1, pp.95-112, 1996. ,
Programming languages and dimensions, 1996. ,
Modeling a landing gear system in Event-B, International Conference on Abstract State Machines, pp.80-94, 2014. ,
DOI : 10.1007/s10009-015-0391-0
URL : https://hal.archives-ouvertes.fr/hal-01254980
Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study, Model and Data Engineering -5th International Conference Proceedings, Lecture Notes in Computer Science 9344, pp.89-10210, 1978. ,
DOI : 10.1007/978-3-319-23781-7_8
Interval Arithmetic and Automatic Error Analysis in Digital Computing, 1962. ,
Base Units of the Syst??me International d'Unit??s, their Accuracy, Dissemination and International Traceability, Metrologia, vol.31, issue.6, p.515, 1995. ,
DOI : 10.1088/0026-1394/31/6/011
How Columbus encountered America, Mathematics Magazine, vol.65, issue.4, pp.219-22510, 1992. ,
Why projects fail? How contingency theory can provide new insights -A comparative analysis of NASAs Mars Climate Orbiter loss, International Journal of Project Management, vol.27, issue.7, pp.665-679, 2009. ,
Formalizing hybrid systems with Event-B and the Rodin Platform, Science of Computer Programming, vol.94, pp.164-202, 2014. ,
DOI : 10.1016/j.scico.2014.04.015
Guide for the Use of the International System of Units (SI) Special Publication (NIST SP)-811, 2008. ,
Arithmetic with measurements on dynamically-typed object-oriented languages, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '05, pp.292-300, 2005. ,
DOI : 10.1145/1094855.1094964