about
Computational Modeling, Formal Analysis, and Tools for Systems BiologyAn Interactive Tool for Animating Biology, and Its Use in Spatial and Temporal Modeling of a Cancerous Tumor and Its MicroenvironmentThe tumor as an organ: comprehensive spatial and temporal modeling of the tumor and its microenvironmentA fully automated high-throughput training system for rodents.A generic model to simulate air-borne diseases as a function of crop architectureFour-dimensional realistic modeling of pancreatic organogenesis.Computational insights into Caenorhabditis elegans vulval development.Computer modeling with randomized-controlled trial data informs the development of person-centered aged care homes.Modelling biological behaviours with the unified modelling language: an immunological case study and critique.Information-theoretic analysis of the dynamics of an executable biological model.Tactile modulation of whisking via the brainstem loop: statechart modeling and experimental validation.Computational Paradigm to Elucidate the Effects of Arts-Based Approaches and Interventions: Individual and Collective Emerging Behaviors in Artwork Construction.Sharing human-generated observations by integrating HMI and the Semantic Sensor WebMultidisciplinary insight into clonal expansion of HTLV-1-infected cells in adult T-cell leukemia via modeling by deterministic finite automata coupled with high-throughput sequencingComputer immunology.A Multi-Robot Sense-Act Approach to Lead to a Proper Acting in Environmental IncidentsReactive animation: from piecemeal experimentation to reactive biological systems.How computational models contribute to our understanding of the germ line.Mechanistic modelling of cancer: some reflections from software engineering and philosophy of science.Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm.MDM: A Mode Diagram Modeling FrameworkDialogue modelling of graphical user interfaces with a production systemRequirements for software-support in concurrent engineering teamsMeta-modelling and graph grammars for multi-paradigm modelling in AToM3Systems of Systems EngineeringON THE NATURE OF ENGINEERING SOCIAL ARTIFICIAL COMPANIONScaT: Adapting and updating the Trellis hypertext modelArchitecture for a helicopter-based unmanned aerial systems wildfire surveillance systemAchieving Closed-Loop Control Simulation of Human-Artefact Interaction: A Comparative ReviewA NEW MODEL FOR HETEROGENEOUS EMBEDDED SYSTEMS — What Esterel and SyncCharts Need to Become a Suitable Specification PlatformTask-Level Data Model for Hardware Synthesis Based on Concurrent CollectionsA Granular Hierarchical Multiview Metrics Suite for Statecharts QualityDesign Process Modeling in Chemical EngineeringVisualizing Changes in Strategy Use across Attempts via State Diagrams: A Case Study
P2860
Q26770169-D12635A2-2173-44EA-9464-2132FE13EF74Q27302164-786BDE26-7CBE-4D73-9508-F21D373BD1E5Q27318697-15416635-C2C1-44BD-A935-8E3105E3918DQ27340419-BFC47A4D-F8BA-48A8-BB0C-9559F93912D4Q28485437-0C2E688A-73C3-4AEE-9669-64919DF8C7DAQ30485544-169079E3-6DA7-4AEA-9C45-579AAF57B3AEQ30856235-716916BB-C683-4824-B128-C929861A14BEQ31007557-687CBD06-A0BC-4421-B3FF-501739F2464AQ34521243-05B6804F-B713-4F2B-A684-A040E9708D5DQ34634971-79EE9845-545E-48FB-A067-EB54398EBBD2Q35060200-2B76A366-ABDE-4B49-B5BE-F33B60C4422EQ35660072-F9A76DEF-1381-4D4D-B9BE-582A68ECEC62Q36068028-7B2A3EF0-2993-4A89-9424-48D6CA4E59C7Q36264128-02D863E8-FF49-4A2A-9E46-4DE128A0001CQ36762544-C096D850-C998-4C55-9DFA-E707D653F4CCQ37244907-229F9708-544F-46C4-8B7B-1AF9363D1625Q37829747-487711FB-2D0F-4E11-9211-AF8BE3A1E468Q38954206-1ED6F218-F647-42F1-8B57-8FCF8B0C829FQ48355751-A44731EC-CE6F-4CD2-A037-47A3A9A7CD8FQ51021561-1335FFF5-1E47-4468-9EB5-67EDFC138472Q54483868-47B128FD-2994-4B47-B2D4-25C2C70ADB1EQ56896361-4F693DB0-BF30-4A5F-801B-BF48985747EEQ56900929-C31FAC4B-97CA-4D03-812C-9A7E7817B6CAQ57388665-43BC537F-6109-4AEC-9025-80C197C88408Q57733527-D65CEFAC-4997-4B7C-BC7D-7D6BC350F5B6Q58292414-4E65BA8D-3CBE-4932-9F6C-D780779CEBDFQ58570695-ABC163BE-4FEC-4AF8-8647-37C92F397F64Q58652614-66808F8E-607E-4670-BCF8-5A9048FBF8E0Q58693805-A8759395-9CA4-4EF5-9A14-CFFEC4A861BDQ58800489-F1E3275C-7CE6-4B4A-9BF1-EBF25F085827Q58908642-FF0DD543-0DAF-4581-8F23-96888A29377BQ58920416-B279AAEF-991A-43C9-B0FD-D360CFA05343Q59026551-CE45F827-4610-4CEB-95B1-E9ED24D44A40Q59124216-BF9C132E-0291-4010-8724-F4F0DDF89CE4
P2860
description
im Juni 1987 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в червні 1987
@uk
name
Statecharts: a visual formalism for complex systems
@en
Statecharts: a visual formalism for complex systems
@nl
type
label
Statecharts: a visual formalism for complex systems
@en
Statecharts: a visual formalism for complex systems
@nl
prefLabel
Statecharts: a visual formalism for complex systems
@en
Statecharts: a visual formalism for complex systems
@nl
P1476
Statecharts: a visual formalism for complex systems
@en
P2093
David Harel
P304
P356
10.1016/0167-6423(87)90035-9
P577
1987-06-01T00:00:00Z