SCTL-MUS

swMATH2245MaRDI QIDQ14789FDOQ14789

Author name not available (Why is that?)

Official website: http://rd.springer.com/article/10.1007/PL00003939

Described by source

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

Cited In (4)

• Data structures for symbolic multi-valued model-checking
• Extending timed automaton and real-time logic to many-valued reasoning
• Integrated Formal Methods
• A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications

This page was built for software: SCTL-MUS