History


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

Result 61 to 80 of 730 total

A new mathematical model for analytical risk assessment and prediction in IT systems. (English)
Control Cybern. 41, No. 1, 241-267 (2012).
WorldCat.org
61
A lightweight methodology for safety case assembly. (English)
Ortmeier, Frank (ed.) et al., Computer safety, reliability, and security. 31st international conference, SAFECOMP 2012, Magdeburg, Germany, September 25‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33677-5/pbk). Lecture Notes in Computer Science 7612, 1-12 (2012).
WorldCat.org
62
Automated generation of safety requirements from railway interlocking tables. (English)
Margaria, Tiziana (ed.) et al., Leveraging applications of formal methods, verification and validation. Applications and case studies. 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15‒18, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-34031-4/pbk). Lecture Notes in Computer Science 7610, 261-275 (2012).
WorldCat.org
63
A development process for usable large scale interactive critical systems: Application to satellite ground segments. (English)
Winckler, Marco (ed.) et al., Human-centered software engineering. 4th international conference, HCSE 2012, Toulouse, France, October 29‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34346-9/pbk). Lecture Notes in Computer Science 7623, 72-93 (2012).
WorldCat.org
64
AdvoCATE: An assurance case automation toolset. (English)
Ortmeier, Frank (ed.) et al., Computer safety, reliability, and security. SAFECOMP 2012 workshops: Sassur, ascoms, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33674-4/pbk). Lecture Notes in Computer Science 7613, 8-21 (2012).
WorldCat.org
65
Formal software verification at model and at source code levels. (English)
Abelló, Alberto (ed.) et al., Model and data engineering. 2nd international conference, MEDI 2012, Poitiers, France, October 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33608-9/pbk). Lecture Notes in Computer Science 7602, 162-169 (2012).
WorldCat.org
66
Integrating a formal development for dsls into meta-modeling. (English)
Abelló, Alberto (ed.) et al., Model and data engineering. 2nd international conference, MEDI 2012, Poitiers, France, October 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33608-9/pbk). Lecture Notes in Computer Science 7602, 55-66 (2012).
WorldCat.org
67
Contracts + goals = roles? (English)
Atzeni, Paolo (ed.) et al., Conceptual modeling. 31st international conference ER 2012, Florence, Italy, October 15‒18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34001-7/pbk). Lecture Notes in Computer Science 7532, 252-266 (2012).
WorldCat.org
68
Locality in reasoning about graph transformations. (English)
Schürr, Andy (ed.) et al., Applications of graph transformations with industrial relevance. 4th international symposium, AGTIVE 2011, Budapest, Hungary, October 4‒7, 2011. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-34175-5/pbk). Lecture Notes in Computer Science 7233, 169-181 (2012).
WorldCat.org
69
Improving the semantics of the software cost reduction method. (English)
J. Appl. Log. 10, No. 4, 410-418 (2012).
WorldCat.org
70
Configuration repair via flow networks. (English)
Chen, Li (ed.) et al., Foundations of intelligent systems. 20th international symposium, ISMIS 2012. Macau, China, December 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34623-1/pbk). Lecture Notes in Computer Science 7661. Lecture Notes in Artificial Intelligence, 321-330 (2012).
WorldCat.org
71
Towards a linear algebra of programming. (English)
Formal Asp. Comput. 24, No. 4-6, 433-458 (2012).
WorldCat.org
72
Reo + $\mathrm{mCRL2}$: a framework for model-checking dataflow in service compositions. (English)
Formal Asp. Comput. 24, No. 2, 187-216 (2012).
WorldCat.org
73
Decidability of well-connectedness for distributed synthesis. (English)
Inf. Process. Lett. 112, No. 24, 963-968 (2012).
WorldCat.org
74
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
75
Symbolic synthesis of masking fault-tolerant distributed programs. (English)
Distrib. Comput. 25, No. 1, 83-108 (2012).
WorldCat.org
76
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
77
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
78
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
79
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
80

Result 61 to 80 of 730 total

Valid XHTML 1.0 Transitional Valid CSS!