Εμφανίζονται 341 - 360 Αποτελέσματα από 887 για την αναζήτηση '"Model checking"', χρόνος αναζήτησης: 0,13δλ Περιορισμός αποτελεσμάτων
  1. 341
    Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Information Extraction, Web Crawling, and Recursive Wrapping with Lixto -- On The Complexity of Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 342
    Applications and Theory of Petri Nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 343
    NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Model of Reference Counting -- EventB2Java: A Code Generator for Event-B -- Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 344
    Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Automata via Bounded Model Checking -- Removing Irrelevant Atomic Formulas for Checking Timed Automata…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 345
    Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Discrete-Event Systems.- Tackling Truncation Errors in CSL Model Checking through Bounding Semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 346
    Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Restricted Linear Differential Hybrid Automata -- Bounded Model Checking for GSMP Models of Stochastic Real…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 347
    Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… -- Prototyping Domain Specific Languages with COOPN -- An Improved Case-Based Approach to LTL Model Checking…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 348
    NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Formal verification, including theorem proving, model checking, and static analysis -- Advances…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 349
    Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Statistical Model Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 350
    Secure Transaction Protocol Analysis Models and Applications /
    ανά Chen, Qingfeng, Zhang, Chengqi, Zhang, Shichao
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Overview of Security Protocol Analysis -- Formal Analysis of Secure Transaction Protocols -- Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 351
    Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 352
    Web Service Composition
    ανά Petrie, Charles J.
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 353
    Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 354
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 355
    Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Model Checking -- Fluid Models in Performance Analysis -- Tackling Large State Spaces in Performance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 356
    Transactions on Computational Systems Biology VII
    Έκδοση 2006
    Πίνακας περιεχομένων: “…-Based Modeling of Biochemical Networks -- Adapting Biochemical Kripke Structures for Distributed Model…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 357
    Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Study in Domain-Customized Model Checking for Real-Time Component Software -- Models for Contract…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 358
    FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 359
    Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 360
    Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… and Temporal Logic Model Checking -- A Note on Traces Refinement and the conf Relation in the Unifying Theories…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email