Machine abstraite And NotCarlos Castro
List of bibliographic references
Number of relevant bibliographic references: 6.Ident. | Authors (with country if any) | Title |
---|---|---|
000136 | Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne] | Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION |
000154 | Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France] | Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B |
000171 | Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
000226 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
000817 | HUNG LEDANG [France] ; Jeanine Souquieres [France] | Contributions for modelling UML state-charts in B |
000868 | Hung Ledang [France] | Des cas d'utilisation à une spécification B |
This area was generated with Dilib version V0.6.33. |