Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications - IMT - Institut Mines-Télécom Access content directly
Conference Papers Year : 2017

Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications

Sarah Chabane
  • Function : Author
Mohamed Mezghiche
  • Function : Author
No file

Dates and versions

hal-01666413 , version 1 (18-12-2017)

Identifiers

  • HAL Id : hal-01666413 , version 1

Cite

Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche. Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications. International conference on Embedded & Distributed Systems (EDiS 2017), Dec 2017, Oran, Algeria. ⟨hal-01666413⟩
77 View
0 Download

Share

Gmail Facebook X LinkedIn More