LINA

Results: 799



#Item
41

PDF Document

Add to Reading List

Source URL: pagesperso.lina.univ-nantes.fr

- Date: 2013-07-03 04:01:36
    42

    PDF Document

    Add to Reading List

    Source URL: pagesperso.lina.univ-nantes.fr

    - Date: 2013-07-03 04:01:35
      43

      Electricity Usage Profile Disaggregation of Hourly Smart Meter Data Bochao Zhao, Lina Stankovic, and Vladimir Stankovic Department of Electronic and Electrical Engineering University of Strathclyde, Glasgow, G1 1XW, UK E

      Add to Reading List

      Source URL: nilmworkshop.org

      Language: English - Date: 2018-04-30 17:14:56
        44

        Chapter 1 VERIFICATION OF TEST SUITES Claude Jard, Thierry J´eron and Pierre Morel IRISA, Campus de Beaulieu, FRennes, France {Claude.Jard, Thierry.Jeron, Pierre.Morel}@irisa.fr

        Add to Reading List

        Source URL: pagesperso.lina.univ-nantes.fr

        Language: English - Date: 2013-07-03 04:01:35
          45

          Introduction The model Testing IOPOAs Other testing questions Further Research

          Add to Reading List

          Source URL: pagesperso.lina.univ-nantes.fr

          Language: English - Date: 2013-07-03 04:01:35
            46

            Testing Input/Output Partial Order Automata Stefan Haar1 , Claude Jard2 , and Guy-Vincent Jourdan3 1 3

            Add to Reading List

            Source URL: pagesperso.lina.univ-nantes.fr

            Language: English - Date: 2013-07-03 04:01:35
              47

              C:/Users/akattepu/Documents/Ajay PhD/SEAMS2011senPairwise/SEAMS2011senPairwise/seams2011_cameraready.dvi

              Add to Reading List

              Source URL: pagesperso.lina.univ-nantes.fr

              Language: English - Date: 2013-07-03 04:01:35
                48

                Principles of Distributed Test Synthesis based on True-concurrency Models Claude Jard IRISA/CNRS

                Add to Reading List

                Source URL: pagesperso.lina.univ-nantes.fr

                Language: English - Date: 2013-07-03 04:01:35
                  49

                  CAMIÑAR FORA DA POLÍTICA Manuel Herminio Iglesias O nacionalismo galego, despois das últimas eleccións municipais, abriu un debate sobre o seu futuro. Sobre a liña ideoloxíca, a forma de organizarse e tamén de co

                  Add to Reading List

                  Source URL: png-pg.org

                  Language: Spanish - Date: 2011-07-09 14:34:35
                    50

                    Complete Finite Prefixes of Symbolic Unfoldings of Time Petri Nets Thomas Chatain1 and Claude Jard2 1 IRISA/INRIA,

                    Add to Reading List

                    Source URL: pagesperso.lina.univ-nantes.fr

                    Language: English - Date: 2013-07-03 04:01:35
                      UPDATE