Treffer 1 - 8 von 8 für Suche 'Bouajjani, Ahmed', Suchdauer: 0,37s Treffer weiter einschränken
  1. 1
    Verification, model checking, and abstract interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings

    Verification, model checking, and abstract interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Bouajjani, Ahmed …”

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings

    Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conferenc...

    Veröffentlicht 2017
    Weitere Verfasser: “… Bouajjani, Ahmed …”

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Automated technology for verification and analysis 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022, proceedings

    Automated technology for verification and analysis 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Bouajjani, Ahmed …”

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Verification, model checking, and abstract interpretation 18th international conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings

    Verification, model checking, and abstract interpretation 18th international conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Bouajjani, Ahmed …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Formal techniques for distributed objects, components, and systems 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings

    Formal techniques for distributed objects, components, and systems 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conferenc...

    Veröffentlicht 2017
    Weitere Verfasser: “… Bouajjani, Ahmed …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Networked systems Third international conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015 : revised selected papers

    Networked systems Third international conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015 : revised selected papers

    Veröffentlicht 2015
    Weitere Verfasser: “… Bouajjani, Ahmed …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015 : Revised Selected Papers

    Networked Systems Third International Conference, NETYS 2015, Agadir, Morocco, May 13–15, 2015 : Revised Selected Papers

    Veröffentlicht 2015
    Weitere Verfasser: “… Bouajjani, Ahmed …”
    DE-355
    DE-703
    URL des Erstveröffentlichers
    Abstract
    Inhaltsverzeichnis
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Automated technology for verification and analysis 20th international symposium, ATVA 2022 virtual event, October 25-28-, 2022 : proceedings

    Automated technology for verification and analysis 20th international symposium, ATVA 2022 virtual event, October 25-28-, 2022 : proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Bouajjani, Ahmed …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: