System of systems

Results: 25484



#Item
1Model Checking Multiagent Systems  MAS for Security Multiagent System-based Verification of Security and Privacy

Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and Privacy

Add to Reading List

Source URL: cgi.csc.liv.ac.uk

Language: English - Date: 2015-11-05 09:29:18
2Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV

Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-01-11 10:48:03
3Formal Methods in System Design manuscript No.  (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

Add to Reading List

Source URL: www.prismmodelchecker.org

Language: English - Date: 2013-10-04 14:46:58
4Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract  annotate the system with an inductive invariant and use an

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

Add to Reading List

Source URL: www.cs.tau.ac.il

Language: English - Date: 2016-02-15 05:41:47
    5Formal Methods in System Design manuscript No.  (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

    Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2013-10-04 14:48:40
    6GNIS to RDF Center of Excellence for Geographic Information Systems United States Geological Survey   The Geographic Names Information System (GNIS) is the Federal standard for geographic nomenclature. The

    GNIS to RDF Center of Excellence for Geographic Information Systems United States Geological Survey  The Geographic Names Information System (GNIS) is the Federal standard for geographic nomenclature. The

    Add to Reading List

    Source URL: cegis.usgs.gov

    Language: English - Date: 2016-07-25 12:18:03
      7Project Profile  EMPHYSIS Enhanced production code for improved system performance The major goal of the ITEA project EMPHYSIS (EMbedded systems with PHYSical models In the production code Software) is to enhance the pro

      Project Profile EMPHYSIS Enhanced production code for improved system performance The major goal of the ITEA project EMPHYSIS (EMbedded systems with PHYSical models In the production code Software) is to enhance the pro

      Add to Reading List

      Source URL: itea3.org

      Language: English
        8The Art of Maintaining Root Systems Some orchids produce massive root systems easily such as Cymbidium and Zygopetalum, others such as Paphiopedilum and Miltoniopsis don’t. Producing a good root system starts with the

        The Art of Maintaining Root Systems Some orchids produce massive root systems easily such as Cymbidium and Zygopetalum, others such as Paphiopedilum and Miltoniopsis don’t. Producing a good root system starts with the

        Add to Reading List

        Source URL: www.bribieislandorchidsociety.com

        Language: English - Date: 2010-02-18 05:57:00
          9Analysis of Database Systems Implementing a database system for the advertisement engine Adengi LTH School of Engineering at Campus Helsingborg Department of Computer Science

          Analysis of Database Systems Implementing a database system for the advertisement engine Adengi LTH School of Engineering at Campus Helsingborg Department of Computer Science

          Add to Reading List

          Source URL: iea.lth.se

          Language: English - Date: 2015-10-07 08:53:06