MODEST: A compositional modeling formalism for hard and softly timed systems

Cached

Download Links

by Henrik Bohnenkamp , Pedro R. D’Argenio , Holger Hermanns , Joost-Pieter Katoen
Venue:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Citations:11 - 5 self