Coalgebraic Semantic Model for the Clock Constraint Specification Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frédéric Mallet, Grygoriy Zholtkevych. Coalgebraic Semantic Model for the Clock Constraint Specification Language. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. Volume 476 of Communications in Computer and Information Science, pages 174-188, Springer, 2014. [doi]

This author has not been identified. Look up 'Frédéric Mallet' in GoogleThis author has not been identified. Look up 'Grygoriy Zholtkevych' in Google

runs on WebDSL