RoboChart: modelling and verification of the functional behaviour of robotic applications
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
-
Miyazawa, Alvaro
Ribeiro, Pedro
Li, Wei
Cavalcanti, Ana
Timmis, Jon
Woodcock, Jim
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-018-00710-z
- URN
-
urn:nbn:de:101:1-2019022519410888987051
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:48 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Miyazawa, Alvaro
- Ribeiro, Pedro
- Li, Wei
- Cavalcanti, Ana
- Timmis, Jon
- Woodcock, Jim
- SpringerLink (Online service)
Ähnliche Objekte (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
Stability Analysis of a Slurry Trench in Cohesive-Frictional Soils
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
Gluing affine Yangians with bi-fundamentals
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
Stability Analysis of a Slurry Trench in Cohesive-Frictional Soils
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
Gluing affine Yangians with bi-fundamentals
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
Stability Analysis of a Slurry Trench in Cohesive-Frictional Soils
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