History


Please fill in your query. A complete syntax description you will find on the General Help page.

Result 61 to 80 of 717 total

Decidability of well-connectedness for distributed synthesis. (English)
Inf. Process. Lett. 112, No. 24, 963-968 (2012).
WorldCat.org
61
Scenario modeling and verification for business processes. (English)
Jezic, Gordan (ed.) et al., Agent and multi-agent systems. Technologies and applications. 6th KES international conference, KES-AMSTA 2012, Dubrovnik, Croatia, June 25‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30946-5/pbk). Lecture Notes in Computer Science 7327. Lecture Notes in Artificial Intelligence, 414-423 (2012).
WorldCat.org
62
Symbolic synthesis of masking fault-tolerant distributed programs. (English)
Distrib. Comput. 25, No. 1, 83-108 (2012).
WorldCat.org
63
Verification of aspectual composition in feature-modeling. (English)
Eleftherakis, George (ed.) et al., Software engineering and formal methods. 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33825-0/pbk). Lecture Notes in Computer Science 7504, 109-125 (2012).
WorldCat.org
64
Specification and quantitative analysis of probabilistic cloud deployment patterns. (English)
Eder, Kerstin (ed.) et al., Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). Lecture Notes in Computer Science 7261, 145-159 (2012).
WorldCat.org
65
Experience report on designing and developing control components using formal methods. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 341-355 (2012).
WorldCat.org
66
Compositionality and refinement in model-driven engineering. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 99-114 (2012).
WorldCat.org
67
BETA: a B based testing approach. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 51-66 (2012).
WorldCat.org
68
An approach using the B method to formal verification of PLC programs in an industrial setting. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 19-34 (2012).
WorldCat.org
69
Challenging SMT solvers to verify neural networks. (English)
AI Commun. 25, No. 2, 117-135 (2012).
WorldCat.org
70
Encapsulating deontic and branching time specifications. (English)
Theor. Comput. Sci. 455, 98-122 (2012).
WorldCat.org
71
Formal verification of PLC programs using the B method. (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, 353-356 (2012).
WorldCat.org
72
Orchestrating tuple-based languages. (English)
Bruni, Roberto (ed.) et al., Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9‒10, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-30064-6/pbk). Lecture Notes in Computer Science 7173, 160-178 (2012).
WorldCat.org
73
Trace queries for safety requirements in high assurance systems. (English)
Regnell, Björn (ed.) et al., Requirements engineering: foundation for software quality. 18th international working conference, REFSQ 2012, Essen, Germany, March 19‒22, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28713-8/pbk). Lecture Notes in Computer Science 7195, 179-193 (2012).
WorldCat.org
74
Distributed orchestration of web services under security constraints. (English)
Garcia-Alfaro, Joaquin (ed.) et al., Data privacy management and autonomous spontaneus security. 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15‒16, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28878-4/pbk). Lecture Notes in Computer Science 7122, 235-252 (2012).
WorldCat.org
75
Compositional verification of architectural models. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 126-140 (2012).
WorldCat.org
76
Analyzing data flow in trustworthy electronic payment systems using Event-B. (English)
Kannan, Rajkumar (ed.) et al., Data engineering and management. Second international conference, ICDEM 2010, Tiruchirappalli, India, July 29‒31, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27871-6/pbk). Lecture Notes in Computer Science 6411, 325-332 (2012).
WorldCat.org
77
Regular set of representatives for time-constrained MSC graphs. (English)
Inf. Process. Lett. 112, No. 14-15, 592-598 (2012).
WorldCat.org
78
A formal model for service-oriented interactions. (English)
Sci. Comput. Program. 77, No. 5, 577-608 (2012).
WorldCat.org
79
Model evolution and refinement. (English)
Sci. Comput. Program. 77, No. 3, 270-289 (2012).
WorldCat.org
80

Result 61 to 80 of 717 total

Valid XHTML 1.0 Transitional Valid CSS!