SCTL-MUS

swMATH2245MaRDI QIDQ14789FDOQ14789

Author name not available (Why is that?)

Described by source

• SCTL-MUS: A formal methodology for software development of distributed systems. A case study

Cited In (4)

• Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning
• Data structures for symbolic multi-valued model-checking
• Integrated Formal Methods
• A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

This page was built for software: SCTL-MUS