APTS

swMATH3405MaRDI QIDQ15937FDOQ15937

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/vh72480656336222/fulltext.pdf

Described by source

• Program synthesis from formal requirements specifications using APTS

Cited In (4)

• Equivalences between pure type systems and systems of illative combinatory logic
• Modelling timed reactive systems from natural-language requirements
• A fuzzy clustering approach to real-time demand-responsive bus dispatching control
• SCR

This page was built for software: APTS