Résultats de la recherche - "software engineering"

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Sujets: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Sujets: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Security in Computer and Information Sciences Second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, Revised Selected Papers /

Sujets: “…Software engineering.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Sujets: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Sujets: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Certifying Software Component Performance Specifications par Groenda, Henning

Sujets: “…Component-Based Software Engineering (CBSE)…”
DOAB: download the publication
DOAB: description of the publication

Models and Analysis of Vocal Emissions for Biomedical Applications 12th International Workshop, December, 14-16, 2021

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Models and Analysis of Vocal Emissions for Biomedical Applications 12th International Workshop, December, 14-16, 2021

Sujets: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2022 Workshops, Copenhagen, Denmark, June 13-17, 2022, and XP 2023 Workshops, Amsterdam, The Netherla...

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Agile Processes in Software Engineering and Extreme Programming 23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13-17, 2022, Proceed...

Sujets: “…Software Engineering bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Sujets: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Sujets: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Sujets: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication