Bertinoro

Results: 39



#Item
1

SIDRA Ph.D. School 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Bertinoro, July 3-5, 2017 Coordinators:

Add to Reading List

Source URL: muwo1.unibo.it

Language: English - Date: 2017-07-07 10:13:10
    2

    CompArch 2012 Bertinoro, Italy, June 25-28, 2012 http://comparch2012.dei.polimi.it CompArch is a federated conference of Component-Based Software Engineering and Software Architecture conferences. CompArch Events

    Add to Reading List

    Source URL: comparch2012.dei.polimi.it

    Language: English - Date: 2011-10-11 10:10:08
      3

      BCD Smart Power Roadmap Trends and Challenges Giuseppe Croce NEREID WORKSHOP ‘Smart Energy’ Bertinoro, October 20th

      Add to Reading List

      Source URL: www.nereid-h2020.eu

      Language: English - Date: 2018-08-18 12:40:01
        4

        PhD. SIDRA School 2016 Robust Constrained Control Bertinoro, July 11-13, 2016 Coordinators and Lectureres: Franco Blanchini (University of Udine) Patrizio Colaneri (Polytechnic Univ. of Milan)

        Add to Reading List

        Source URL: www.automatica.it

        Language: English - Date: 2016-09-29 09:36:13
          5

          Scuola di Dottorato CIRA Controllo di Sistemi Robotici per la Manipolazione e la Cooperazione Bertinoro (FC), 14–16 Luglio 2003 Robots with Elastic Joints: Modeling and Control

          Add to Reading List

          Source URL: www.prisma.unina.it

          Language: English - Date: 2004-10-26 08:23:19
            6

            CALL FOR PAPERS 2010 ACM International Conference on Computing Frontiers May, 2010, Bertinoro, Italy Sponsored by ACM SIGMICRO GENERAL CHAIR

            Add to Reading List

            Source URL: www.computingfrontiers.org

            - Date: 2011-01-05 11:43:34
              7

              Run-Time Assertion Checking and Monitoring Java Programs Envisage Bertinoro Summer School June 2014 June 19, 2014

              Add to Reading List

              Source URL: www.sti.uniurb.it

              - Date: 2014-06-20 02:24:41
                8

                Spatio-temporal model checking using topochecker Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink Bertinoro, June

                Add to Reading List

                Source URL: www.sti.uniurb.it

                - Date: 2016-06-24 10:35:26
                  9

                  BERTINORO (FC) • ITALYJULY 2016 Organized by Coordinamento della Ricerca e della Didattica Universitaria in Metallurgia

                  Add to Reading List

                  Source URL: www.metallurgia-italiana.net

                  Language: English - Date: 2016-05-10 09:57:15
                    10

                    Application Deadline: June 15, 2009 NINTH INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN FOSAD 2009 http://www.sti.uniurb.it/events/fosad09 30 August – 4 September 2009, Bertinoro, Italy FOSAD has

                    Add to Reading List

                    Source URL: www.sti.uniurb.it

                    Language: English - Date: 2009-02-03 07:05:30
                      UPDATE