Amanote Research
Register
Sign In
Graphically Defining Simulation Models of Concurrent Systems.
doi 10.22215/etd/1988-01463
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
H. Brauen
Publisher
Carleton University
Related search
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems
Application of Steam Turbines Simulation Models in Power Generation Systems
Revista de Engenharia Térmica
Circulating Concurrent-Flow Drying Simulation of Rapeseed
Journal of Biosystems Engineering
Control-Oriented Models for Real-Time Simulation of Automotive Transmission Systems
Oil and Gas Science and Technology
Fuel Technology
Power Technology
Chemical Engineering
Energy Engineering
Temporal Debugging for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Specifying Agent Behavior as Concurrent Tasks: Defining the Behavior of Social Agents
Type Systems for Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Supervisory Control of Concurrent Discrete-Event Systems
International Journal of Control
Control
Systems Engineering
Computer Science Applications
