APTS

MaRDI QIDQ15937swMATHFDO

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
• A fuzzy clustering approach to real-time demand-responsive bus dispatching control
• SCR
• Modelling timed reactive systems from natural-language requirements

This page was built for software: APTS