Amanote Research
Register
Sign In
Modular Reasoning for Actor Specification Diagrams
doi 10.1007/978-0-387-35562-7_24
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1999
Authors
Scott F. Smith
Carolyn L. Talcott
Publisher
Springer US
Related search
Reasoning With Spider Diagrams
Modular Specification of Process Algebras
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Reasoning With Concept Diagrams About Antipatterns
Description Logic Reasoning With Decision Diagrams
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Coalgebraic Semantic Framework for Reasoning About UML Sequence Diagrams
A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies
Aspect-Oriented Programming and Modular Reasoning
Modular Specification of Hybrid Systems in Charon
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Specification of Frame Properties in JML
Concurrency Computation Practice and Experience
Computer Networks
Communications
Computer Science Applications
Computational Theory
Mathematics
Theoretical Computer Science
Software
