<--- Back to Details
First PageDocument Content
Applied mathematics / Automata theory / Computing / Formal methods / Stateflow / Simulink / Finite-state machine / State transition system / Formal verification / Visual programming languages / Models of computation / Theoretical computer science
Date: 2002-08-09 18:00:25
Applied mathematics
Automata theory
Computing
Formal methods
Stateflow
Simulink
Finite-state machine
State transition system
Formal verification
Visual programming languages
Models of computation
Theoretical computer science

Add to Reading List

Source URL: www.csl.sri.com

Download Document from Source Website

File Size: 224,68 KB

Share Document on Facebook

Similar Documents

Software / Application software / Cross-platform software / Numerical software / Simulation software / Visual programming languages / Scientific modeling / LabVIEW / Simulink / MATLAB / Simulation / Scientific modelling

Załącznik nr 3 do wytycznych dla rad podstawowych jednostek organizacyjnych do tworzenia nowych i weryfikacji istniejących programów studiów I i II stopnia w UTP w Bydgoszczy Course code

DocID: 1rppv - View Document

Education / Visual programming languages / Software engineering / Software / Blockly / Educational technology / Scratch / Bloc

Creative ICT Tools for Schools Supports Learning and Teaching Across the Curriculum App Maker

DocID: 1rfX4 - View Document

Software engineering / Software development / Software / Visual programming languages / MIT Media Lab / Scratch / Video game development / Sprite

An Introduction to Programming with Scratch Ronald Bourret http://www.rpbourret.com/scratch Table of Contents

DocID: 1rfad - View Document

Computing / Software engineering / Software / Visual programming languages / Artificial intelligence / Simulation software / AgentSheets / Cross-platform software / Alexander Repenning / Stagecast Creator / Simulation

Using Agents as a Currency of Exchange between End-Users Alexander Repenning, Martin Rausch, Jonathan Phillips, Andri Ioannidou Center for LifeLong Learning & Design University of Colorado, Boulder CO {ralex,

DocID: 1rdH0 - View Document

Education / Software engineering / Computing / Educational psychology / Visual programming languages / MIT Media Lab / Scratch / Social information processing / Informal learning / Educational technology / Online community / Community

Online Urbanism: Interest-based Subcultures as Drivers of Informal Learning in an Online Community Ben U Gelman, Chris Beckley, Aditya Johri, Carlotta Domeniconi, and Seungwon Yang*

DocID: 1rayi - View Document