@inproceedings{
 title = {Formal Specification and Verification of Software Architecture Behavioral Concepts using UML2.0 Profile and B},
 type = {inproceedings},
 year = {2008},
 keywords = {Modelisation},
 pages = {pp 1--6},
 websites = {https://hal.archives-ouvertes.fr/hal-00302719},
 id = {a0b87173-0844-3af6-ad1f-594ae740185d},
 created = {2018-04-03T21:38:35.966Z},
 file_attached = {false},
 profile_id = {3f3cebd9-2c9e-33e2-9759-3b3c3deedc23},
 last_modified = {2020-05-30T20:55:30.376Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {alti_formal_2008},
 source_type = {inproceedings},
 private_publication = {false},
 bibtype = {inproceedings},
 author = {Alti, Adel and Djoudi, Mahieddine},
 booktitle = {The 10th Maghrebian Conference on Information Technologies (MCSEAI'08), Oran Algeria}
}

{"_id":"x5QocKKLzi2BWMMT7","bibbaseid":"alti-djoudi-formalspecificationandverificationofsoftwarearchitecturebehavioralconceptsusinguml20profileandb-2008","author_short":["Alti, A.","Djoudi, M."],"bibdata":{"title":"Formal Specification and Verification of Software Architecture Behavioral Concepts using UML2.0 Profile and B","type":"inproceedings","year":"2008","keywords":"Modelisation","pages":"pp 1--6","websites":"https://hal.archives-ouvertes.fr/hal-00302719","id":"a0b87173-0844-3af6-ad1f-594ae740185d","created":"2018-04-03T21:38:35.966Z","file_attached":false,"profile_id":"3f3cebd9-2c9e-33e2-9759-3b3c3deedc23","last_modified":"2020-05-30T20:55:30.376Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"alti_formal_2008","source_type":"inproceedings","private_publication":false,"bibtype":"inproceedings","author":"Alti, Adel and Djoudi, Mahieddine","booktitle":"The 10th Maghrebian Conference on Information Technologies (MCSEAI'08), Oran Algeria","bibtex":"@inproceedings{\n title = {Formal Specification and Verification of Software Architecture Behavioral Concepts using UML2.0 Profile and B},\n type = {inproceedings},\n year = {2008},\n keywords = {Modelisation},\n pages = {pp 1--6},\n websites = {https://hal.archives-ouvertes.fr/hal-00302719},\n id = {a0b87173-0844-3af6-ad1f-594ae740185d},\n created = {2018-04-03T21:38:35.966Z},\n file_attached = {false},\n profile_id = {3f3cebd9-2c9e-33e2-9759-3b3c3deedc23},\n last_modified = {2020-05-30T20:55:30.376Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {alti_formal_2008},\n source_type = {inproceedings},\n private_publication = {false},\n bibtype = {inproceedings},\n author = {Alti, Adel and Djoudi, Mahieddine},\n booktitle = {The 10th Maghrebian Conference on Information Technologies (MCSEAI'08), Oran Algeria}\n}","author_short":["Alti, A.","Djoudi, M."],"urls":{"Website":"https://hal.archives-ouvertes.fr/hal-00302719"},"biburl":"https://bibbase.org/service/mendeley/3f3cebd9-2c9e-33e2-9759-3b3c3deedc23","bibbaseid":"alti-djoudi-formalspecificationandverificationofsoftwarearchitecturebehavioralconceptsusinguml20profileandb-2008","role":"author","keyword":["Modelisation"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/3f3cebd9-2c9e-33e2-9759-3b3c3deedc23","dataSources":["rh94BkjSH73SyjZsR","iepCnBefzQg3Bw5fo","GLMs4nYirTtANpSJL","aXkmPGhjP47zRbZcd"],"keywords":["modelisation"],"search_terms":["formal","specification","verification","software","architecture","behavioral","concepts","using","uml2","profile","alti","djoudi"],"title":"Formal Specification and Verification of Software Architecture Behavioral Concepts using UML2.0 Profile and B","year":2008}