Result 1 to 15 of 15 total
Refinement-based development of timed systems. (English)
Derrick, John (ed.) et al., Integrated formal methods. 9th international conference, IFM 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30728-7/pbk). Lecture Notes in Computer Science 7321, 69-83 (2012).
1
Contract-based verification of Simulink models. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 291-306 (2011).
2
Concurrent scheduling of event-B models. (English)
Comput. Res. Repos. 2011, Article No. 1106.4100 (2011).
3
io-port 50349037 Bostrom, Peter J.;
Toren, Paul J.;
Xi, Hao;
Chow, Raymond;
Truong, Tran;
Liu, Justin;
Lane, Kelly;
Legere, Laura;
Chagpar, Anjum;
Zlotta, Alexandre R.;
Finelli, Antonio;
Fleshner, Neil E.;
Grober, Ethan D.;
Jewett, Michael A. S.
Point-of-care clinical documentation: assessment of a bladder cancer informatics tool (${\it ecancercare^{Bladder}}$): a randomized controlled study of efficacy, efficiency and user friendliness compared with standard electronic medical records (English)
JAMIA 18, No. 6, 835-841 (2011).
4
Contract-based verification of simulink models (English)
ICFEM, 291-306 (2011).
5
Creating sequential programs from Event-B models. (English)
Méry, Dominique (ed.) et al., Integrated formal methods. 8th international conference, IFM 2010, Nancy, France, October 11‒14, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16264-0/pbk). Lecture Notes in Computer Science 6396, 74-88 (2010).
6
Creating sequential programs from event-B models (English)
IFM, 74-88 (2010).
7
Stepwise development of Simulink models using the refinement calculus framework. (English)
Jones, Cliff B. (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2007. 4th international colloquium, Macau, China, September 26‒28, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75290-5/pbk). Lecture Notes in Computer Science 4711, 79-93 (2007).
8
Stepwise development of simulink models using the refinement calculus framework (English)
ICTAC, 79-93 (2007).
9
Formal transformation of platform independent models into platform specific models (English)
B, 186-200 (2007).
10
Development of fault tolerant grid applications using distributed B. (English)
Romijn, Judi (ed.) et al., Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 ‒ December 2, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30492-0/pbk). Lecture Notes in Computer Science 3771, 167-186 (2005).
11
An extension of Event B for developing grid systems. (English)
Treharne, Helen (ed.) et al., ZB 2005: Formal specification and development in Z and B. 4th international conference of B and Z users, Guildford, UK, April 13‒15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25559-1/pbk). Lecture Notes in Computer Science 3455, 142-161 (2005).
12
Development of fault tolerant grid applications using distributed B (English)
IFM, 167-186 (2005).
13
An extension of event B for developing grid systems (English)
ZB, 142-161 (2005).
14
Implementation of control systems using $B$ action systems: a case study. (English)
Nord. J. Comput. 11, No. 2, 75-101 (2004).
15
Result 1 to 15 of 15 total
Start
Contact
Print
General Help
