No photo of J. Päßler

J. Päßler

Fingerprint

Dive into the research topics where J. Päßler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 1 Conference contribution

  • A Formal Model of Metacontrol in Maude

    Päßler, J., Aguado, E., Silva, G. R., Tarifa, S. L. T., Corbato, C. H. & Johnsen, E. B., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: Proceedings of the 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Springer, p. 575-596 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    14 Downloads (Pure)