Fantechi, Alessandro
Fantechi, Alessandro, 19..-....
Alessandro Fantechi
VIAF ID: 55934579 ( Personal )
Permalink: http://viaf.org/viaf/55934579
Preferred Forms
- 100 0 _ ‡a Alessandro Fantechi
- 100 1 0 ‡a Fantechi, Alessandro
- 100 1 _ ‡a Fantechi, Alessandro
-
-
- 100 1 _ ‡a Fantechi, Alessandro
- 100 1 _ ‡a Fantechi, Alessandro (sparse)
-
- 100 1 _ ‡a Fantechi, Alessandro, ‡d 19..-....
4xx's: Alternate Name Forms (1)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Conception de services pour maison intelligente à l'aide d'approches basées sur l'apprentissage automatique et la représentation de connaissances. | |
Designing smart home services using machine learning and knowledge-based approaches | |
Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. | |
Formal framework for modelling and verifying globally asynchronous locally synchronous systems | |
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers | |
Formal methods for open object-based distributed systems, 1999: | |
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings | |
Semantic approach to design connected services : architecture, composition algorithm, smart home application. | |
Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings | |
Strengthening fonctional validation of critical system by using Model Checking : application to Instrumentation and control systems in nuclear power plants. |