Astre

Results: 18



#Item
1Association for Computing Machinery / Programming Language Design and Implementation / Computer science / Computing / SIGPLAN / GrammaTech / Computer programmers / Susan B. Horwitz / Astre

Cindy Rubio González University of California, Davis Department of Computer Science 3039 Kemper Hall, Davis, CAE-mail:

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2016-08-03 20:45:50
2Abstract interpretation / Software testing / AbsInt / Fluctuat / Astre / Formal methods / Radhia Cousot / Static program analysis / Patrick Cousot / Formal verification / Simulink / Polyspace

SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2009-11-24 06:44:26
3

lefttopAlta Scuola Roma Tre – ASTRE

Add to Reading List

Source URL: host.uniroma3.it

Language: Italian - Date: 2016-01-16 04:01:34
    4

    Università degli Studi Roma Tre ASTRE Alta Scuola Roma Tre Informazioni sul nuovo biennio accademico

    Add to Reading List

    Source URL: host.uniroma3.it

    Language: Italian - Date: 2016-01-16 04:22:20
      5

      Demis VISVIKIS L’ASTRE DE LUMIÈRE pour piano

      Add to Reading List

      Source URL: www.demis-visvikis.net

      Language: French - Date: 2005-02-17 05:01:56
        6

        Quelques éléments concernant les éclipses Résumé de Michel Willemin Les types d’éclipses solaires Une condition sine qua none pour qu’il y ait éclipse de Soleil est que l’astre du jour, la Lune et la Terre s

        Add to Reading List

        Source URL: www.snastro.org

        Language: French - Date: 2006-08-01 06:28:08
          7

          Demis VISVIKIS L’ASTRE DE VIE pour piano

          Add to Reading List

          Source URL: www.demis-visvikis.net

          Language: French - Date: 2005-02-17 05:01:45
            8

            Demis VISVIKIS L’ASTRE DE L’AMOUR pour piano

            Add to Reading List

            Source URL: www.demis-visvikis.net

            Language: French - Date: 2005-03-07 05:13:47
              9Theoretical computer science / Logic in computer science / Software engineering / Formal methods / Models of computation / Parallel computing / Programming language semantics / Denotational semantics / Abstract interpretation / Semantics / Astre

              The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)

              Add to Reading List

              Source URL: www-verimag.imag.fr

              Language: English - Date: 2007-10-18 09:45:46
              10

              Origine du mot planète ? Le  mot  vient  du  grec     «  planêtes  astêres  »     (πλανήτης  αστήρης)     ou  «  astre  errant  »     pa

              Add to Reading List

              Source URL: www.obs-hp.fr

              Language: French - Date: 2012-02-23 06:23:13
                UPDATE