Extending Statecharts with Process Algebra Operators

Abstract : no abstract
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01223276
Contributor : Frédéric Gervais <>
Submitted on : Monday, November 2, 2015 - 1:53:13 PM
Last modification on : Wednesday, December 19, 2018 - 3:50:03 PM

Identifiers

  • HAL Id : hal-01223276, version 1

Collections

Citation

Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis. Extending Statecharts with Process Algebra Operators. Innovations in Systems and Software Engineering, Springer Verlag, 2008, 4 (3), pp.285-292. 〈hal-01223276〉

Share

Metrics

Record views

65