Showing 1 - 8 results of 8 for search 'Johnsen, Einar Broch', query time: 0.03s Refine Results
  1. 1
    Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
    Published 2018
    Other Authors: “…Johnsen, Einar Broch…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
    Published 2015
    Other Authors: “…Johnsen, Einar Broch…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
    Published 2017
    Other Authors: “…Johnsen, Einar Broch…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Published 2013
    Other Authors: “…Johnsen, Einar Broch…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
    Published 2007
    Other Authors: “…Johnsen, Einar Broch…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
    Published 2016
    Other Authors: “…Johnsen, Einar Broch…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Service-Oriented and Cloud Computing 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings /
    Published 2016
    Other Authors: “…Johnsen, Einar Broch…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
    Published 2014
    Other Authors: “…Johnsen, Einar Broch…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search