History


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

Result 61 to 80 of 754 total

Interconnections between classes of sequentially compositional temporal formulas. (English)
Inf. Process. Lett. 113, No. 9, 350-353 (2013).
WorldCat.org
61
Input-output conformance simulation (iocos) for model based testing. (English)
Beyer, Dirk (ed.) et al., Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3‒5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38591-9/pbk). Lecture Notes in Computer Science 7892, 114-129 (2013).
WorldCat.org
62
When does abstraction help? (English)
Inf. Process. Lett. 113, No. 22-24, 901-905 (2013).
WorldCat.org
63
Comorphisms of structured institutions. (English)
Inf. Process. Lett. 113, No. 22-24, 894-900 (2013).
WorldCat.org
64
A tighter bound for the self-stabilization time in Herman’s algorithm. (English)
Inf. Process. Lett. 113, No. 13, 486-488 (2013).
WorldCat.org
65
Formal modeling and analysis of context-aware medication management system for smart houses. (English)
Biswas, Jit (ed.) et al., Inclusive society: health and wellbeing in the community, and care at home. 11th international conference on smart homes and health telematics, ICOST 2013, Singapore, June 19‒21, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39469-0/pbk). Lecture Notes in Computer Science 7910, 218-223 (2013).
WorldCat.org
66
The Metrô Rio case study. (English)
Sci. Comput. Program. 78, No. 7, 828-842 (2013).
WorldCat.org
67
Provably secure DNS: A case study in reliable software. (English)
Keller, Hubert B. (ed.) et al., Reliable software technologies ‒ ada-Europe 2013. 18th ada-Europe international conference on reliable software technologies, Berlin, Germany, June 10‒14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38600-8/pbk). Lecture Notes in Computer Science 7896, 81-93 (2013).
WorldCat.org
68
Formal methods for exchange policy specification. (English)
Salinesi, Camille (ed.) et al., Advanced information systems engineering. 25th international conference, Caise 2013, Valencia, Spain, June 17‒21, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38708-1/pbk). Lecture Notes in Computer Science 7908, 288-303 (2013).
WorldCat.org
69
Logical foundations of services. (English)
Jones, Andrew V. (ed.) et al., 2013 Imperial College computing student workshop ICCSW’13, London, UK, September 26‒27, 2013. Selected papers of the 3rd workshop. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-63-7). OASIcs ‒ OpenAccess Series in Informatics 35, 111-118, electronic only (2013).
WorldCat.org
70
A compositional automata-based semantics for property patterns. (English)
Johnsen, Einar Broch (ed.) et al., Integrated formal methods. 10th international conference, IFM 2013, Turku, Finland, June 10‒14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38612-1/pbk). Lecture Notes in Computer Science 7940, 316-330 (2013).
WorldCat.org
71
Automated anonymity verification of the threeballot voting system. (English)
Johnsen, Einar Broch (ed.) et al., Integrated formal methods. 10th international conference, IFM 2013, Turku, Finland, June 10‒14, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38612-1/pbk). Lecture Notes in Computer Science 7940, 94-108 (2013).
WorldCat.org
72
Quantum process calculus for linear optical quantum computing. (English)
Dueck, Gerhard W. (ed.) et al., Reversible computation. 5th international conference, RC 2013, Victoria, BC, Canada, July 4‒5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38985-6/pbk). Lecture Notes in Computer Science 7948, 234-246 (2013).
WorldCat.org
73
Repair with on-the-fly program analysis. (English)
Biere, Armin (ed.) et al., Hardware and software: verification and testing. 8th international Haifa verification conference, HVC 2012, Haifa, Israel, November 6‒8, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-39610-6/pbk). Lecture Notes in Computer Science 7857, 56-71 (2013).
WorldCat.org
74
Confluence in data reduction: bridging graph transformation and kernelization. (English)
Computability 2, No. 1, 31-49 (2013).
WorldCat.org
75
Keys to the cloud: formal analysis and concrete attacks on encrypted web storage. (English)
Basin, David (ed.) et al., Principles of security and trust. Second international conference, POST 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16‒24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36829-5/pbk). Lecture Notes in Computer Science 7796, 126-146 (2013).
WorldCat.org
76
Integration of SMT-solvers in B and Event-B development environments. (English)
Sci. Comput. Program. 78, No. 3, 310-326 (2013).
WorldCat.org
77
Reasoned modelling critics: turning failed proofs into modelling guidance. (English)
Sci. Comput. Program. 78, No. 3, 293-309 (2013).
WorldCat.org
78
Model checking conditional CSL for continuous-time Markov chains. (English)
Inf. Process. Lett. 113, No. 1-2, 44-50 (2013).
WorldCat.org
79
On the complexity of model checking interval-valued discrete time Markov chains. (English)
Inf. Process. Lett. 113, No. 7, 210-216 (2013).
WorldCat.org
80

Result 61 to 80 of 754 total

Valid XHTML 1.0 Transitional Valid CSS!