Home Advanced Search

Advanced Search - Page 1

Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2018
  • Author: Manuel Mazzara, Iulian Ober, Gwen Salaün
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Peter Csaba Ölveczky, Gwen Salaün
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science)
  • EPUB
  • English
  • Year: 2021
  • Author: Gwen Salaün (editor), Anton Wijs (editor)
Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Manuel Mazzara, Andrei Voronkov (eds.)
SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
  • PDF
  • English
  • Year: 2012
  • Author: Dorina C. Petriu (auth.), Iulian Ober, Ileana Ober (eds.)
SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
  • PDF
  • English
  • Year: 2012
  • Author: Dorina C. Petriu (auth.), Iulian Ober, Ileana Ober (eds.)
Innopolis University - From Zero To Hero: Ten Years Of Challenges And Victories
  • PDF
  • English
  • Year: 2022
  • Author: Manuel Mazzara, Giancarlo Succi, Alexander Tormasov
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)
Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander Petrenko
search