Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Modeling and control of flexible context-dependent manufacturing systems
Lucas Silva, André, Ribeiro, Richardson, Teixeira, Marcelo
Published in Information sciences (01.12.2017)
Published in Information sciences (01.12.2017)
Get full text
Journal Article
Formal Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain
Rashid, Muhammad, Rasool, Imran, Zafar, Nazir Ahmad, Afzaal, Hamra
Published in 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) (08.01.2024)
Published in 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) (08.01.2024)
Get full text
Conference Proceeding
Formal Modeling and Verification of IoT-based Smart Transport System using SPIN Model Checker
Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Shabbir, Ifra, Rasool, Imran, Zafar, Nazir Ahmad
Published in 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) (08.01.2024)
Published in 2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) (08.01.2024)
Get full text
Conference Proceeding
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
Lestingi, Livia, Manglaviti, Andrea, Marinaro, Davide, Marinello, Luca, Askarpour, Mehrnoosh, Bersani, Marcello M., Rossi, Matteo
Published in Software and systems modeling (01.04.2024)
Published in Software and systems modeling (01.04.2024)
Get full text
Journal Article
State of the Art and Future Perspectives in Smart and Sustainable Urban Development
Year of Publication 2022
Get full text
eBook
Le problème de l’analyse des troubles de la pensée dans le discours avec la personne schizophrène : proposition méthodologique
Musiol, Michel, Rebuschi, Manuel, Buchel, Samuel, Lecomte, Amandine, de Groote, Philippe, Amblard, Maxime
Published in Evolution psychiatrique (01.06.2022)
Published in Evolution psychiatrique (01.06.2022)
Get full text
Journal Article
Timed-SAS: Modeling and Analyzing the Time Behaviors of Self-Adaptive Software under Uncertainty
Han, Deshuai, Cai, Yanping, Chen, WenJie, Cui, Zhigao, Li, Aihua
Published in Applied sciences (01.02.2023)
Published in Applied sciences (01.02.2023)
Get full text
Journal Article
Ensuring software quality by formal modeling
Csuka, Z, Lengyel, László
Published in 2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (01.01.2011)
Published in 2011 IEEE 9th International Symposium on Applied Machine Intelligence and Informatics (01.01.2011)
Get full text
Conference Proceeding
Analysis of LEACH protocol(s) using formal verification
Ihsan, A., Saghar, K., Fatima, T.
Published in 2015 12th International Bhurban Conference on Applied Sciences and Technology (IBCAST) (01.01.2015)
Published in 2015 12th International Bhurban Conference on Applied Sciences and Technology (IBCAST) (01.01.2015)
Get full text
Conference Proceeding