Filtrer vos résultats
- 38
- 3
- 23
- 9
- 4
- 4
- 1
- 36
- 8
- 1
- 1
- 2
- 3
- 2
- 1
- 4
- 2
- 1
- 3
- 5
- 5
- 2
- 1
- 1
- 4
- 1
- 2
- 2
- 41
- 36
- 9
- 5
- 4
- 3
- 2
- 2
- 41
- 17
- 6
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
41 résultats
|
|
triés par
|
Developing B method Hardware Description Language (BHDL) towards EVENT-BResearch Journal of Aleppo University For Engineering, 2013
Article dans une revue
hal-04491125v1
|
|||
|
Use of Machine Learning for Leak Detection and Localization in Water Distribution SystemsSmart Cities, 2021, 4 (4), pp.1293-1315. ⟨10.3390/smartcities4040069⟩
Article dans une revue
hal-03526236v1
|
||
Smart City: A living LaboratoryCrisis reposnse, 2014, pp.50
Autre publication scientifique
hal-04489139v1
|
|||
|
Formal and Fault Tolerant Design2nd Workshop on Process-based approaches for Model-Driven Engineering, Jul 2012, Denmark
Communication dans un congrès
hal-00832618v1
|
||
Lessons from a Large Scale Demonstrator of the Smart and Sustainable CityHappy City - How to Plan and Create the Best Livable Area for the People, Springer International Publishing, pp.193-206, 2017, EcoProduction, ⟨10.1007/978-3-319-49899-7_11⟩
Chapitre d'ouvrage
hal-03526418v1
|
|||
Smart Monitoring for Urban Biodiversity PreservationCIGOS 2019, Innovation for Sustainable Infrastructure, 54, Springer Singapore, pp.1123-1128, 2020, Lecture Notes in Civil Engineering, ⟨10.1007/978-981-15-0802-8_180⟩
Chapitre d'ouvrage
hal-03526398v1
|
|||
Scenario of fault by refinementCommunication Technologies: from Theory to Applications (ICTTA), IEEE, 2006
Proceedings/Recueil des communications
hal-04491993v1
|
|||
Component based co-design and refinementProceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, 0-7803-8482-2. ⟨10.1109/ICTTA.2004.1307893⟩
Proceedings/Recueil des communications
hal-04490756v1
|
|||
BHDL: circuit design in BInternational Conference on Application of Concurrency to System Design (ACSD'2003), IEEE Comput. Soc, pp.241-242, 2003, 0-7695-1887-7. ⟨10.1109/CSD.2003.1207723⟩
Proceedings/Recueil des communications
hal-04490747v1
|
|||
Extended Model driven Architecture to B MethodUbiquitous Computing and Communication Journal, 2012, pp.34-42
Article dans une revue
hal-04491163v1
|
|||
Tabo Search with Genetic Algorithm to Improve Urban Vehicle MotionResearch Journal of Aleppo University For Engineering, 2011
Article dans une revue
hal-04491167v1
|
|||
Component based co-design and refinementProceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, ⟨10.1109/ICTTA.2004.1307893⟩
Proceedings/Recueil des communications
hal-04492245v1
|
|||
Temporal Refinement in Co-DesignCommunication Technologies: from Theory to Applications (ICTTA), Apr 2008, Damascus, France. pp.1-6, ⟨10.1109/ictta.2008.4530351⟩
Communication dans un congrès
hal-03526461v1
|
|||
Knowledge Infrastructure DataWizard (KIDW): A Cooperative Approach for Data Management and Knowledge DisseminationInnovations in Smart Cities Applications, 7, Springer Nature Switzerland, pp.34-43, 2024, Lecture Notes in Networks and Systems, 2367-3370. ⟨10.1007/978-3-031-53824-7_4⟩
Chapitre d'ouvrage
hal-04488917v1
|
|||
|
Modular Software Architecture for Local Smart Building ServersSensors, 2021, 21 (17), pp.5810. ⟨10.3390/s21175810⟩
Article dans une revue
hal-03526378v1
|
||
|
Extended Model Driven Architecture to B Method (short version)The 5th Internatiional Conference On Information Technology (ICIT'11), May 2011, Amman, Jordan
Communication dans un congrès
hal-00832605v1
|
||
|
Extended Model driven Architecture to B MethodUbiquitous Computing and Communication Journal , 2011, Special Issue on ICIT 2011
Article dans une revue
hal-00832612v1
|
||
Co-design and refinement for safety critical systems19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, IEEE, pp.78-86, 2024, 0-7695-2241-6. ⟨10.1109/DFTVS.2004.1347827⟩
Proceedings/Recueil des communications
hal-04490321v1
|
|||
Component based co-design and refinementProceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004., IEEE, pp.575-576, 2004, 0-7803-8482-2. ⟨10.1109/ICTTA.2004.1307893⟩
Proceedings/Recueil des communications
hal-04490825v1
|
|||
B-HDL circuit and safety propertiesInternational Conference on Safety and Reliability, 2007, 9780415447843
Proceedings/Recueil des communications
hal-04491897v1
|
|||
Co-design and refinement for safety critical systems19th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2004. DFT 2004. Proceedings., IEEE, pp.78-86, 2004, ⟨10.1109/DFTVS.2004.1347827⟩
Proceedings/Recueil des communications
hal-04492242v1
|
|||
Analysis of the use of LoRaWan technology in a large-scale smart city demonstrator2017 Sensors Networks Smart and Emerging Technologies (SENSET), IEEE, pp.1-4, 2017, ⟨10.1109/SENSET.2017.8125011⟩
Proceedings/Recueil des communications
hal-04488969v1
|
|||
Conception of reliable circuit based on the concept of propertyICSSEA 2001; 14th international days in Software engineering, System engineering and their applications,, 2001
Proceedings/Recueil des communications
hal-04490259v1
|
|||
Digital Signature and Internet SecurityConference on Internet Security- Syrian Computer Society, 2010
Proceedings/Recueil des communications
hal-04491823v1
|
|||
Conception sure de circuit basée sur la notion de propriété14émes Journées Internationales Génie Logiciel et Ingénierie De Systèmes et leurs Applications, 2001
Proceedings/Recueil des communications
hal-04490804v1
|
|||
Formalization of digital circuits using the B methodCompRail VIII, Eighth International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Mass Transit Systems, 2002
Proceedings/Recueil des communications
hal-04490909v1
|
|||
Formal Methods Applied to Complex SystemsFormal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering Series), 1, Wiley, 2014, 1848217099. ⟨10.1002/9781119002727⟩
Chapitre d'ouvrage
hal-04490731v1
|
|||
Extended Model Driven Architecture to B MethodThe 5th International Conference on Information Technology, 2011
Proceedings/Recueil des communications
hal-04491170v1
|
|||
Formal Fault Tolerant Architecture2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, IEEE, pp.73-78, 2010, ⟨10.1109/CTRQ.2010.20⟩
Proceedings/Recueil des communications
hal-04492137v1
|
|||
Formal Fault Tolerant Architecture2010 Third International Conference on Communication Theory, Reliability, and Quality of Service, Jun 2010, Athens, France. pp.73-78, ⟨10.1109/ctrq.2010.20⟩
Communication dans un congrès
hal-03526448v1
|
- 1
- 2