Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Loading…
Loading…
Loading…
Model Checking Value-Passing Modal Specifications
ter Beek, Maurice H., Gnesi, Stefania, Mazzanti, Franco
Published in Perspectives of System Informatics (2015)
Published in Perspectives of System Informatics (2015)
Get full text
Book Chapter
Loading…
Loading…
Loading…
State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations
Tong, Yin, Luo, Jiate, Seatzu, Carla
Published in Proceedings of the IEEE Conference on Decision & Control (14.12.2021)
Published in Proceedings of the IEEE Conference on Decision & Control (14.12.2021)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Loading…
Loading…
Formal methods for controlling networked systems
Belta, Calin
Published in 2015 International Conference on Complex Systems Engineering (ICCSE) (01.11.2015)
Published in 2015 International Conference on Complex Systems Engineering (ICCSE) (01.11.2015)
Get full text
Conference Proceeding
Loading…
Loading…
A Typed Calculus for Querying Distributed XML Documents
Acciai, Lucia, Boreale, Michele, Dal Zilio, Silvano
Published in Trustworthy Global Computing (2007)
Published in Trustworthy Global Computing (2007)
Get full text
Book Chapter
Loading…
Loading…
A paraconsistent approach to actions in informationally complex environments
Białek, Łukasz, Dunin-Kęplicz, Barbara, Szałas, Andrzej
Published in Annals of mathematics and artificial intelligence (01.08.2019)
Published in Annals of mathematics and artificial intelligence (01.08.2019)
Get full text
Journal Article
Loading…
Loading…