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

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