12 research outputs found
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations
No full textFormal Specification of Communication Protocols with Object-Based ECATNets
No full textVoir le lien ic
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations
No full textVers une synthèse modulaire des superviseurs des systèmes a événements discrets: simulation a l'aide du langage MAUDE
No full textTowards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets
No full text
