Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Matos, Paulo J.
Fischer, Bernd
and
Marques-Silva, João
2009.
Formal Methods and Software Engineering.
Vol. 5885,
Issue. ,
p.
485.
Abrial, Jean-Raymond
2009.
Faultless Systems: Yes We Can!.
Computer,
Vol. 42,
Issue. 9,
p.
30.
Hoang, Thai Son
Fürst, Andreas
and
Abrial, Jean-Raymond
2009.
Event-B Patterns and Their Tool Support.
p.
210.
Hoang, Thai Son
Kuruma, Hironobu
Basin, David
and
Abrial, Jean-Raymond
2009.
Developing topology discovery in Event-B.
Science of Computer Programming,
Vol. 74,
Issue. 11-12,
p.
879.
Hallerstede, Stefan
2009.
Proving Quicksort Correct in Event-B.
Electronic Notes in Theoretical Computer Science,
Vol. 259,
Issue. ,
p.
47.
Iliasov, Alexei
Troubitsyna, Elena
Laibinis, Linas
Romanovsky, Alexander
Varpaaniemi, Kimmo
Ilic, Dubravka
and
Latvala, Timo
2010.
Formal Methods for Industrial Critical Systems.
Vol. 6371,
Issue. ,
p.
50.
Méry, Dominique
and
Singh, Neeraj Kumar
2010.
Leveraging Applications of Formal Methods, Verification, and Validation.
Vol. 6416,
Issue. ,
p.
312.
Iliasov, Alexei
Troubitsyna, Elena
Laibinis, Linas
Romanovsky, Alexander
Varpaaniemi, Kimmo
Väisänen, Pauli
Ilic, Dubravka
and
Latvala, Timo
2010.
Computer Safety, Reliability, and Security.
Vol. 6351,
Issue. ,
p.
126.
Leuschel, Michael
and
Massart, Thierry
2010.
Efficient approximate verification of B and Z models via symmetry markers.
Annals of Mathematics and Artificial Intelligence,
Vol. 59,
Issue. 1,
p.
81.
Mashkoor, Atif
and
Jacquot, Jean-Pierre
2010.
Domain Engineering with Event-B: Some Lessons We Learned.
p.
252.
Bryans, Jeremy W.
and
Wei, Wei
2010.
Formal Methods for Industrial Critical Systems.
Vol. 6371,
Issue. ,
p.
33.
Boström, Pontus
2010.
Integrated Formal Methods.
Vol. 6396,
Issue. ,
p.
74.
Ait-Sadoune, Idir
and
Ait-Ameur, Yamine
2010.
Software Engineering Research, Management and Applications 2010.
Vol. 296,
Issue. ,
p.
51.
Mazzara, Manuel
and
Bhattacharyya, Anirban
2010.
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems.
p.
173.
Salehi Fathabadi, Asieh
and
Butler, Michael
2010.
Formal Methods for Components and Objects.
Vol. 6286,
Issue. ,
p.
89.
Milhau, Jérémy
Frappier, Marc
Gervais, Frédéric
and
Laleau, Régine
2010.
Integrated Formal Methods.
Vol. 6396,
Issue. ,
p.
245.
Hoang, Thai Son
and
Abrial, Jean-Raymond
2010.
Abstract State Machines, Alloy, B and Z.
Vol. 5977,
Issue. ,
p.
319.
Mashkoor, Atif
and
Matoussi, Abderrahman
2010.
Abstract State Machines, Alloy, B and Z.
Vol. 5977,
Issue. ,
p.
404.
Méry, Dominique
and
Singh, Neeraj Kumar
2010.
Complex Systems Design & Management.
p.
49.
Abrial, Jean-Raymond
Butler, Michael
Hallerstede, Stefan
Hoang, Thai Son
Mehta, Farhad
and
Voisin, Laurent
2010.
Rodin: an open toolset for modelling and reasoning in Event-B.
International Journal on Software Tools for Technology Transfer,
Vol. 12,
Issue. 6,
p.
447.