Skip navigation
  • DSpace logo
  • Home
  • Collections
  • Research Outputs
  • Researchers
  • Faculties
  • Projects
  • Explore by
    • Research Outputs
    • Researchers
    • Faculties
    • Projects
  • Sign on to:
    • My DSpace
    • Receive email
      updates
    • Edit Account details

Tabib, Nacer

Network Lab View Statistics Email Alert RSS Feed
 Claim profile

  • Profile
  • Indicators
  • Other

Profile

avatar_scholar_256.png picture
Full Name
Tabib, Nacer
Translated Name
طابيب، ناصر
 
Main Affiliation
Faculty of Information and Communication Technology (ICT)
 
Email
nacer.tabib@univ-constantine2.dz
 
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false
Country
Algeria

Publications
  • Articles
  • Conference Papers
  • Others

Author

  • 1 Ilie, Jean-Michel
  • 1 Saidouni, Djamel Eddine
  • 1 Tabib, Nacer

Subject

  • 1 Binary Decision Diagram
  • 1 Formal verification
  • 1 Graph distribution
  • 1 Model checking
  • 1 State space generation

Date issued

  • 1 2010 - 2019

Type

  • 1 Journal Article

Fulltext

  • 1 With Fulltext

Results 1-1 of 1 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)
1Jan-2016State Space Generation Framework Based on Binary Decision Diagram for Distributed Explicit Model CheckingTabib, Nacer ; Ilie, Jean-Michel ; Saidouni, Djamel Eddine 

 

Claim Researcher Page

Check the encrypted string of this email, put the correct string in the box below and click "Go" to validate the email and claim this profile.

Emails: n a c e * * * * * * * @ * * * * * * * * * * * * * * * * 2 . d z

Go

Contact via feedback form

If you want contact administrator site clicking the follow button 

Explore by
  • Collections
  • Research Outputs
  • Researchers
  • Faculties
  • Projects
Feedback
Built with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE