Result 1 to 20 of 177 total
Event-B code generation: type extension with theories. (English)
Derrick, John (ed.) et al., Abstract state machines, Alloy, B, VDM, and Z. Third international conference, ABZ 2012, Pisa, Italy, June 18‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30884-0/pbk). Lecture Notes in Computer Science 7316, 365-368 (2012).
1
Verification of UML models by translation to UML-B. (English)
Aichernig, Bernhard K. (ed.) et al., Formal methods for components and objects. 9th international symposium, FMCO 2010, Graz, Austria, November 29‒December 1, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-25270-9/pbk). Lecture Notes in Computer Science 6957, 251-266 (2011).
2
Shared event composition/decomposition in Event-B. (English)
Aichernig, Bernhard K. (ed.) et al., Formal methods for components and objects. 9th international symposium, FMCO 2010, Graz, Austria, November 29‒December 1, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-25270-9/pbk). Lecture Notes in Computer Science 6957, 122-141 (2011).
3
Composing Event-B specifications ‒ case-study experience. (English)
Apel, Sven (ed.) et al., Software composition. 10th international conference, SC 2011, Zurich, Switzerland, June 30 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22044-9/pbk). Lecture Notes in Computer Science 6708, 100-115 (2011).
4
Applying atomicity and model decomposition to a space craft system in Event-B. (English)
Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 328-342 (2011).
5
FM 2011: formal methods. 17th international symposium on formal methods, Limerick, Ireland, June 20‒24, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6664. Berlin: Springer (ISBN 978-3-642-21436-3/pbk). xiv, 450~p. EUR~66.34 (2011).
6
Decomposition tool for event-B. (English)
Softw., Pract. Exper. 41, No. 2, 199-208 (2011).
7
Special issue: Selected papers based on the presentations at the first international conference on abstract state machines, B and Z (ABZ 2008), London, UK, September 16‒18, 2008. (English)
Formal Asp. Comput. 23, No. 1, 150~p. (2011).
8
Decomposition tool for event-B (English)
Softw., Pract. Exper. 41, No. 2, 199-208 (2011).
9
Bulldozer: an approach to multithreaded compute performance (English)
IEEE Micro 31, No. 2, 6-15 (2011).
10
Android: changing the mobile landscape (English)
IEEE Pervasive Computing 10, No. 1, 4-7 (2011).
11
PERSPECTIVE - organizational cognitive neuroscience (English)
Organization Science 22, No. 3, 804-815 (2011).
12
Composing event-B specifications - case-study experience (English)
Software Composition, 100-115 (2011).
13
Applying atomicity and model decomposition to a space craft system in event-B (English)
NASA Formal Methods, 328-342 (2011).
14
Applying Event-B atomicity decomposition to a multi media protocol. (English)
de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4‒6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 89-104 (2010).
15
Particle swarm optimization of Bollinger bands. (English)
Dorigo, Marco (ed.) et al., Swarm intelligence. 7th international conference, ANTS 2010, Brussels, Belgium, September 8‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15460-7/pbk). Lecture Notes in Computer Science 6234, 504-511 (2010).
16
Deriving relationship between semantic models - an approach for ccsp. (English)
Comput. Res. Repos. 2010, Article No. 1002.3330 (2010).
17
Formalizing ccsp synchronous semantics in PVS. (English)
Comput. Res. Repos. 2010, Article No. 1001.3464 (2010).
18
Data mining techniques for proactive fault diagnostics of electronic gaming machines. (English)
Farzindar, Atefeh (ed.) et al., Advances in artificial intelligence. 23rd Canadian conference on artificial intelligence, Canadian AI 2010, Ottawa, Canada, May 31 ‒ June 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13058-8/pbk). Lecture Notes in Computer Science 6085. Lecture Notes in Artificial Intelligence, 366-369 (2010).
19
Special issue: Refinement. Papers from the 12th BCS-FACS refinement workshop, Oxford, UK, July 2007. (English)
Formal Asp. Comput. 22, No. 1, 1-81 (2010).
20
Result 1 to 20 of 177 total
Start
Contact
Print
General Help
