Nasser Al-hadhrami (Ministry of Education, Nizwa, Oman), Benjamin Aziz (School of Computing, University of Portsmouth, Portsmouth, UK) and Lotfi ben Othmane (Fraunhofer Institute for Secure Information Technology, Darmstadt, Germany)
Saturday, June 4, 2016
Modelling and Refining Hybrid Systems in Event-B and Rodin
- Michael J. Butler, Jean-Raymond Abrial, Richard Banach:
Modelling and Refining Hybrid Systems in Event-B and Rodin. From Action Systems to Distributed Systems 2016: 29-42
Subscribe to:
Posts (Atom)
