Εμφανίζονται 341 - 360 Αποτελέσματα από 739 για την αναζήτηση '"Formal Methods"', χρόνος αναζήτησης: 0,21δλ Περιορισμός αποτελεσμάτων
  1. 341
    Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 342
    Using Event-B for Critical Device Software Systems
    ανά Singh, Neeraj Kumar
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 343
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Έκδοση 2012
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 344
    Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 345
    Rigorous Development of Complex Fault-Tolerant Systems
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Aspects and Formal Methods -- Rigorous Development of Fault-Tolerant Agent Systems -- Formal Service…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 346
    Information Systems Security 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and Formal Methods -- On the Decidability of Model-Checking Information Flow Properties -- Synthesizing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 347
    Refinement Semantics, Languages and Applications /
    ανά Derrick, John, Derrick, John, Boiten, Eerke
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 348
    Validated Designs for Object-oriented Systems
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 349
    Computer Safety, Reliability and Security 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “…Formal Methods I - Analysis and Specification -- CoRSA - A Constraint Based Approach…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 350
    ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… and Specification Refinement in the Schema Calculus -- Are Smart Cards the Ideal Domain for Applying Formal Methods…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 351
    Electromagnetic Field Theory for Engineers and Physicists
    ανά Lehner, Günther
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Maxwell#x2019;s Equations -- Basics of Electrostatics -- Formal Methods of Electrostatics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 352
    Formalisms for Reuse and Systems Integration
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 353
    Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Using Formal Methods for Verification and Validation in Railway -- Monadic Sequence Testing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 354
    Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… and games -- Ontologies and information extraction -- Formal methods and simulation -- Neural networks, SMT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 355
    Computational Collective Intelligence 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… and games -- Ontologies and information extraction.-Formal methods and simulation -- Neural networks, SMT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 356
    Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 357
    Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 358
    Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 359
    Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018, Proceedings /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Formal methods, computational logic, and theory of computation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 360
    Beyond the Turnout Paradox The Political Economy of Electoral Participation /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email