Zobrazeno 1 - 10
of 666
pro vyhledávání: '"B. A. Rodin"'
Formal modelling is essential for precisely defining, understanding and reasoning when designing complex systems, such as cyberphysical systems. In this paper we present a formal specification using Event-B and Rodin platform for a case study of a
Externí odkaz:
http://hdl.handle.net/10454/16555
Publikováno v:
HPCC/SmartCity/DSS
Formal modelling is essential for precisely defining, understanding and reasoning when designing complex systems, such as cyberphysical systems. In this paper we present a formal specification using Event-B and Rodin platform for a case study of a cr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::508f90a6c6cce0faad44149ba6139fe3
https://doi.org/10.1109/hpcc/smartcity/dss.2018.00253
https://doi.org/10.1109/hpcc/smartcity/dss.2018.00253
Event-B es un método formal para el modelado y análisis de sistemas basado en el enfoque de corrección por construcción. Presenta un conjunto de teorías como la elección para la notación de modelado, el refinamiento para representar diferentes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9507::2f5c6e566f07dc9b33cb08366781167d
https://repositorio.escuelaing.edu.co/handle/001/789
https://repositorio.escuelaing.edu.co/handle/001/789
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
From Action Systems to Distributed Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95e161fdf2e73f664ad30630a3b08ab7
https://eprints.soton.ac.uk/376053/
https://eprints.soton.ac.uk/376053/
Publikováno v:
Industrial Use of Formal Methods: Formal Verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e75be641b4a10f71fcc041b48341fac7
https://doi.org/10.1002/9781118561829.ch7
https://doi.org/10.1002/9781118561829.ch7
Autor:
B. A. Rodin, D. Abergel
Publikováno v:
Magnetic Resonance, Vol 3, Pp 27-41 (2022)
Spin relaxation has been at the core of many studies since the early days of nuclear magnetic resonance (NMR) and the underlying theory worked out by its founding fathers. This Bloch–Redfield–Abraham relaxation theory has been recently reinvestig
Externí odkaz:
https://doaj.org/article/1aa14ceb86d2461a9ea5eeccbeb746ee
Autor:
Idir AIT SADOUNE, Yamine Aït-Ameur
Publikováno v:
Proceedings of the 5th Rodin User and Developer Workshop
Rodin Workshop 2014
Rodin Workshop 2014, Jun 2014, Toulouse, France
HAL
Rodin Workshop 2014
Rodin Workshop 2014, Jun 2014, Toulouse, France
HAL
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7793fd65ebbdb4307e571d2b24b91f3a
https://hal-supelec.archives-ouvertes.fr/hal-01103340
https://hal-supelec.archives-ouvertes.fr/hal-01103340
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.