RoboChart: modelling and verification of the functional behaviour of robotic applications
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
RoboChart: modelling and verification of the functional behaviour of robotic applications ; day:23 ; month:1 ; year:2019 ; pages:1-53
Software and systems modeling ; (23.1.2019), 1-53
- Creator
-
Miyazawa, Alvaro
Ribeiro, Pedro
Li, Wei
Cavalcanti, Ana
Timmis, Jon
Woodcock, Jim
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-018-00710-z
- URN
-
urn:nbn:de:101:1-2019022519410888987051
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:48 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Miyazawa, Alvaro
- Ribeiro, Pedro
- Li, Wei
- Cavalcanti, Ana
- Timmis, Jon
- Woodcock, Jim
- SpringerLink (Online service)
Other Objects (12)
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
Structural analysis of bacterial and viral infections and a cysteine proteinase legumain
Probabilistic modelling and verification using RoboChart and PRISM
Grafische Simulation und Kollisionsvermeidung von Robotern
Chiral algebra from worldsheet
Multifunctional charge transfer plasmon resonance sensors
microRNA-15 Activates NF-κB Pathway via Down Regulating Expression of Adenosine A2 Receptor in Ulcerative Colitis
Gluing affine Yangians with bi-fundamentals
Global smooth solution to the n -dimensional liquid crystal equations with fractional dissipation
Observed and CMIP6 model simulated organic aerosol response to drought in the contiguous United States during summertime
Reduced surface fine dust under droughts over the southeastern United States during summertime: observations and CMIP6 model simulations
Reduced surface fine dust under droughts over the southeastern United States during summertime: observations and CMIP6 model simulations
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
Structural analysis of bacterial and viral infections and a cysteine proteinase legumain
Probabilistic modelling and verification using RoboChart and PRISM
Grafische Simulation und Kollisionsvermeidung von Robotern
Chiral algebra from worldsheet
Multifunctional charge transfer plasmon resonance sensors
microRNA-15 Activates NF-κB Pathway via Down Regulating Expression of Adenosine A2 Receptor in Ulcerative Colitis
Gluing affine Yangians with bi-fundamentals
Global smooth solution to the n -dimensional liquid crystal equations with fractional dissipation
Observed and CMIP6 model simulated organic aerosol response to drought in the contiguous United States during summertime
Reduced surface fine dust under droughts over the southeastern United States during summertime: observations and CMIP6 model simulations
Reduced surface fine dust under droughts over the southeastern United States during summertime: observations and CMIP6 model simulations
Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool
Structural analysis of bacterial and viral infections and a cysteine proteinase legumain
Probabilistic modelling and verification using RoboChart and PRISM
Grafische Simulation und Kollisionsvermeidung von Robotern
Chiral algebra from worldsheet
Multifunctional charge transfer plasmon resonance sensors
microRNA-15 Activates NF-κB Pathway via Down Regulating Expression of Adenosine A2 Receptor in Ulcerative Colitis
Gluing affine Yangians with bi-fundamentals
Global smooth solution to the n -dimensional liquid crystal equations with fractional dissipation
Observed and CMIP6 model simulated organic aerosol response to drought in the contiguous United States during summertime
Reduced surface fine dust under droughts over the southeastern United States during summertime: observations and CMIP6 model simulations