Using ITL and Tempura for Large-Scale Specification and Simulation.

Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski

Browse the full PDP paper archive.