Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  13 results for ""Requirements/Specifications""

Your Filters

Geographic : nancy
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Translating Pi-Calculus into LOTOS NT

Subjects: pi-calculus; process algebra; LOTOS NTNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524586 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010,

Record details

Read More Add to Saved list
×
Conference

Symbolic Model-Checking of Optimistic Replication Algorithms

Subjects: collaborative editors; operational transformation; difference bound matricesNancy; France

  • Source: 8th International Conference on Integrated Formal Methods - IFM 2010https://inria.hal.science/inria-005245358th International Conference on Integrated Formal Methods - IFM 2010, INRIA

Record details

Read More Add to Saved list
×
Conference

Translating Pi-Calculus into LOTOS NT

Subjects: pi-calculus; process algebra; LOTOS NTNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524586 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010,

Record details

Read More Add to Saved list
×
Conference

Symbolic Model-Checking of Optimistic Replication Algorithms

Subjects: collaborative editors; operational transformation; difference bound matricesNancy; France

  • Source: 8th International Conference on Integrated Formal Methods - IFM 2010https://inria.hal.science/inria-005245358th International Conference on Integrated Formal Methods - IFM 2010, INRIA

Record details

Read More Add to Saved list
×
Conference

On Model Checking Techniques for Randomized Distributed Systems

Subjects: model checking; randomized distributed system; Markov decision processNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://inria.hal.science/inria-00524630 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010,

Record details

Read More Add to Saved list
×
Conference

Translating Pi-Calculus into LOTOS NT

Subjects: pi-calculus; process algebra; LOTOS NTNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524586 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010,

Record details

Read More Add to Saved list
×
Conference

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation

Subjects: Memory management; type-based analysis; formal certificatesNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524597 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010,

Record details

Read More Add to Saved list
×
Conference

Symbolic Model-Checking of Optimistic Replication Algorithms

Subjects: collaborative editors; operational transformation; difference bound matricesNancy; France

  • Source: 8th International Conference on Integrated Formal Methods - IFM 2010https://hal.inria.fr/inria-005245358th International Conference on Integrated Formal Methods - IFM 2010, INRIA

Record details

Read More Add to Saved list
×
Conference

Automatic Verification of Parametric Specifications with Complex Topologies

Subjects: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program VerificationNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00523033 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010,

Record details

Read More Add to Saved list
×
Conference

From Operating-System Correctness to Pervasively Veried Applications

Subjects: Real-Time System; Pervasive Verification; Application ProgramNancy; France

  • Source: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00524575 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010,

Record details

Read More Add to Saved list
×
  • 1-10 of  13 results for ""Requirements/Specifications""