Showing 1 - 9 results of 9 for search '"Formal Aspects of Computing"', query time: 0.05s Refine Results
  1. 1
    Formal Aspects of Computing The International Journal of Formal Methods
    Published 1990
    Journal
  2. 2
    Formal aspects of computing
    Journal
  3. 3
    Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Advances in Unconventional Computing Volume 1: Theory /
    Published 2017
    Table of Contents: “… -- An Analogue-digital Model of Computation: Turing Machines with Physical Oracles -- Physical and Formal Aspects…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf
    Published 2023
    “… computing systems. FMCAD covers formal aspects of computer-aided system testing.…”
    Get full text
  7. 7
    E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf
    Published 2021
    “… formal aspects of computer-aided system design including verification, specification, synthesis…”
    Get full text
  8. 8
    E-Book_Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022.pdf
    Published 2022
    “… formal aspects of computer-aided system design including verification, specification, synthesis…”
  9. 9
    9783854480426.pdf
    Published 2021
    “… formal aspects of computer-aided system design including verification, specification, synthesis…”
    Get full text
Search Tools: RSS Feed – Email Search