No Cover Image

Conference Paper/Proceeding/Abstract 526 views 126 downloads

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS

Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach Orcid Logo

Recent Trends in Algebraic Development Techniques, Pages: 120 - 141

Swansea University Authors: Tobias Rosenberger, Markus Roggenbach Orcid Logo

Published in: Recent Trends in Algebraic Development Techniques
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2021
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 120
End Page: 141